[DynInst_API:] [dyninst/dyninst] 58a0d2: GithubCI: Re-enable consumer builds


Date: Tue, 19 Sep 2023 15:45:52 -0700
From: Tim Haines <noreply@xxxxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] 58a0d2: GithubCI: Re-enable consumer builds
  Branch: refs/heads/thaines/enable_consumer_build
  Home:   https://github.com/dyninst/dyninst
  Commit: 58a0d27fa13f7c4ab1f672446a63b83d0bf87794
      https://github.com/dyninst/dyninst/commit/58a0d27fa13f7c4ab1f672446a63b83d0bf87794
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2023-09-19 (Tue, 19 Sep 2023)

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

  Log Message:
  -----------
  GithubCI: Re-enable consumer builds

I forgot to do this before merging #1527.


[← Prev in Thread] Current Thread [Next in Thread→]
  • [DynInst_API:] [dyninst/dyninst] 58a0d2: GithubCI: Re-enable consumer builds, Tim Haines <=