[DynInst_API:] [dyninst/dyninst] 1b79db: GithubCI: Allow conumer builds to be run manually

Tue, 19 Sep 2023 11:43:14 -0700 

  Branch: refs/heads/thaines/consumer_build_manual_run
  Home:   https://github.com/dyninst/dyninst
  Commit: 1b79dbee44afb4b8a43cd252d70da2c1d481c8ef
      
https://github.com/dyninst/dyninst/commit/1b79dbee44afb4b8a43cd252d70da2c1d481c8ef
  Author: Tim Haines <[email protected]>
  Date:   2023-09-19 (Tue, 19 Sep 2023)

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

  Log Message:
  -----------
  GithubCI: Allow conumer builds to be run manually


_______________________________________________
Dyninst-api mailing list
[email protected]
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api

Reply via email to