Gerwin Klein 0e91dccf5a github: let hw test run to completion on failure ... Merge to master is infrequent enough that we can let the hardware test suite run to completion even if one of the tests failed. This will provide more information in the history on which boards worked for which commits, even if the test for one is broken for some time. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2022-02-02 20:16:09 +11:00
..
compilation-checks.yml	github: drop python2 tests	2021-09-09 08:43:56 +10:00
cparser.yml	github: run C parser on push/PR	2021-06-30 14:04:00 +10:00
manual.yml	github: add a GitHub action to build the manual	2021-06-18 08:35:55 +10:00
pr.yml	Add MCS to the preprocess check	2021-05-07 09:54:27 +10:00
preprocess-deploy.yml	github: run actions with secrets only in seL4 org	2021-10-18 14:47:07 +11:00
proof.yml	github: use PR number instead of ref	2022-01-19 09:28:53 +11:00
push.yml	Refactor github workflows; add preprocess test	2020-06-18 12:47:54 +10:00
sel4test-deploy.yml	github: let hw test run to completion on failure	2022-02-02 20:16:09 +11:00
sel4test-hw.yml	github: avoid replicating hardware run matrix	2021-11-19 19:16:04 +11:00
sel4test-sim.yml	.github: remove ARMv6 tests	2021-09-30 18:07:19 +10:00
trigger.yml	github: run actions with secrets only in seL4 org	2021-10-18 14:47:07 +11:00
xml_lint.yml	github: CI action to lint libsel4 IDL files	2021-06-22 11:26:17 +10:00