Branch: refs/heads/thaines/githubci_fix_consumer_names
Home: https://github.com/dyninst/dyninst
Commit: 35d26b197e30fcdbb104737338f63356b007bd1b
https://github.com/dyninst/dyninst/commit/35d26b197e30fcdbb104737338f63356b007bd1b
Author: Tim Haines <[email protected]>
Date: 2023-09-29 (Fri, 29 Sep 2023)
Changed paths:
M .github/workflows/consumers.yaml
Log Message:
-----------
GithubCI: fix names in consumer weekly build
_______________________________________________
Dyninst-api mailing list
[email protected]
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
