Merge back fixes for GitHub actions #2099
Merged
CHERI Jenkins / Jenkins
succeeded
May 7, 2024 in 22s
Success
Details
- Set job properties (1.5 sec)
- aarch64 (10 sec)
- amd64 (10 sec)
- morello-hybrid (10 sec)
- morello-purecap (10 sec)
- riscv64 (10 sec)
- riscv64-hybrid (10 sec)
- riscv64-purecap (17 sec)
Loading