Merge first two pull requests of 6.1 development #263
+1,004
−722
CHERI Jenkins / Jenkins
succeeded
Dec 3, 2024 in 1m 4s
Success
Details
- Set job properties (1.6 sec)
- linux (4.7 sec)
- Run Morello tests (36 sec)
- freebsd (4.7 sec)
- Run Morello tests (35 sec)
- linux-debug (59 sec)
- Run Morello tests (43 sec)
Loading