[DynInst_API:] [dyninst/dyninst] 7ebf54: Github CI: update dev container deployment (#1400)


Date: Wed, 15 Mar 2023 06:47:36 -0700
From: Tim Haines <noreply@xxxxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] 7ebf54: Github CI: update dev container deployment (#1400)
  Branch: refs/heads/master
  Home:   https://github.com/dyninst/dyninst
  Commit: 7ebf545849ef979aaa21bf82e8caff104cbeb6f6
      https://github.com/dyninst/dyninst/commit/7ebf545849ef979aaa21bf82e8caff104cbeb6f6
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2023-03-15 (Wed, 15 Mar 2023)

  Changed paths:
    M .github/workflows/dev-containers.yaml

  Log Message:
  -----------
  Github CI: update dev container deployment (#1400)

* Log in to GHCR before building
* Pull base image for cache


[← Prev in Thread] Current Thread [Next in Thread→]
  • [DynInst_API:] [dyninst/dyninst] 7ebf54: Github CI: update dev container deployment (#1400), Tim Haines <=