Branch: refs/heads/master
Home: https://github.com/dyninst/dyninst
Commit: 2b27c01a702f02dd5b4c6482e3f0fe49c2c09f2a
https://github.com/dyninst/dyninst/commit/2b27c01a702f02dd5b4c6482e3f0fe49c2c09f2a
Author: Tim Haines <[email protected]>
Date: 2026-02-07 (Sat, 07 Feb 2026)
Changed paths:
M .github/workflows/dev-containers.yaml
M .github/workflows/purge-workflows.yaml
M .github/workflows/refresh-containers.yaml
M .github/workflows/release-containers.yaml
Log Message:
-----------
GitHub CI: don't autocancel container workflows (#2147)
'Refresh base and dev containers' depends on
'Build and Deploy Development Containers'. 'Purge old workflow runs'
isn't in that dependency chain, but it could be added to a longer
workflow in the future. It doesn't matter if it is run multiple times.
To unsubscribe from these emails, change your notification settings at
https://github.com/dyninst/dyninst/settings/notifications
_______________________________________________
Dyninst-api mailing list
[email protected]
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api