Closed 0152la closed 1 year ago
bors r+
Build failed:
bors try
bors try
bors try
bors try
bors try
Build succeeded!
The publicly hosted instance of bors-ng is deprecated and will go away soon.
If you want to self-host your own instance, instructions are here. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
Ready for review.
Please squash.
Squashed.
bors r+
Build succeeded!
The publicly hosted instance of bors-ng is deprecated and will go away soon.
If you want to self-host your own instance, instructions are here. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
Previously, we were using
run_test.sh
to copy over and execute the files on a CHERI machine. However, as the library evolved, tests also evolved to require multi-file dependencies to be copied over, and argument handling. This PR replaces the old shell script with a newrun_test.py
, which has better support for arguments and dependencies, and keeps these better contained within cmake definitionsIt does add one dependency,
python
fabric
[1], forssh
operations.[1] https://www.fabfile.org/