Branch: refs/heads/thaines/github_ci_fix
Home: https://github.com/dyninst/dyninst
Commit: c5c64e2da61a98693ff7c44d171c5cc4f300610f
https://github.com/dyninst/dyninst/commit/c5c64e2da61a98693ff7c44d171c5cc4f300610f
Author: Tim Haines <[email protected]>
Date: 2025-12-03 (Wed, 03 Dec 2025)
Changed paths:
M docker/build.sh
Log Message:
-----------
GitHub CI: force test directory
When run under GitHub's CI, ctest doesn't find the build directory specified by
'--test-dir' _and_ it doesn't raise an error even though '--no-tests=error'.
This fixes both.
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
