Gerwin Klein 863ee83ca8 github: drop python2 tests ... Since the build system defaults to python3 now, these have not worked as advertised in a while now (they have test py3 twice). Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2021-09-09 08:43:56 +10: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: deploy verification-manifest on preprocess	2021-08-18 16:58:57 +10:00
proof.yml	github: use correct label field	2021-07-26 21:04:52 +10:00
push.yml	Refactor github workflows; add preprocess test	2020-06-18 12:47:54 +10:00
sel4test-deploy.yml	github: more fine-grained concurrency groups	2021-08-20 13:42:48 +10:00
sel4test-hw.yml	github: separate sel4test for deployment on master	2021-08-20 12:05:03 +10:00
sel4test-sim.yml	github: separate sel4test for deployment on master	2021-08-20 12:05:03 +10:00
trigger.yml	github: trigger main test on push to master	2021-08-27 14:08:23 +10:00
xml_lint.yml	github: CI action to lint libsel4 IDL files	2021-06-22 11:26:17 +10:00