Skip to content
CHERIoT SAFE Tests

Initial attempt at adding some CI for CHERIoT-SAFE. #7

Sign in to view logs

Initial attempt at adding some CI for CHERIoT-SAFE.

Initial attempt at adding some CI for CHERIoT-SAFE. #7

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run-tests
51s
51s