Branch: refs/heads/master
Home: https://github.com/dyninst/dyninst
Commit: 6c870fb6485d86efe8836656f9a080c32b2ae25f
https://github.com/dyninst/dyninst/commit/6c870fb6485d86efe8836656f9a080c32b2ae25f
Author: Tim Haines <[email protected]>
Date: 2023-09-19 (Tue, 19 Sep 2023)
Changed paths:
M .github/workflows/consumers.yaml
Log Message:
-----------
Github CI: Add weekly build of MUST (#1527)
* Add weekly build of must
'MUST' detects MPI usage errors. Comes from RWTH Aachen University.
_______________________________________________
Dyninst-api mailing list
[email protected]
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
