[DynInst_API:] [dyninst/dyninst] 523969: GithubCI: fix names in consumer weekly build (#1553)


Date: Mon, 02 Oct 2023 11:16:12 -0700
From: Tim Haines <noreply@xxxxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] 523969: GithubCI: fix names in consumer weekly build (#1553)
  Branch: refs/heads/master
  Home:   https://github.com/dyninst/dyninst
  Commit: 523969e41a75b3beb2253f03c5ef0711bbc409ff
      https://github.com/dyninst/dyninst/commit/523969e41a75b3beb2253f03c5ef0711bbc409ff
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2023-10-02 (Mon, 02 Oct 2023)

  Changed paths:
    M .github/workflows/consumers.yaml

  Log Message:
  -----------
  GithubCI: fix names in consumer weekly build (#1553)


[← Prev in Thread] Current Thread [Next in Thread→]
  • [DynInst_API:] [dyninst/dyninst] 523969: GithubCI: fix names in consumer weekly build (#1553), Tim Haines <=