Branch: refs/heads/master
Home: https://github.com/dyninst/dyninst
Commit: 52acf2734d3da3106edb3f3866778a26eda32819
https://github.com/dyninst/dyninst/commit/52acf2734d3da3106edb3f3866778a26eda32819
Author: Tim Haines <[email protected]>
Date: 2023-09-07 (Thu, 07 Sep 2023)
Changed paths:
M .github/workflows/pr-tests.yaml
Log Message:
-----------
Github CI: terminate PR pipeline at first failure (#1513)
_______________________________________________
Dyninst-api mailing list
[email protected]
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
