Gerwin Klein 3359c82b4a github: standalone-compilation for AARCH64 ...

Use the AARCH64_verified config for the standalone kernel compilation
check.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

2022-02-03 19:13:55 +11:00

..

compilation-checks.yml

github: standalone-compilation for AARCH64

2022-02-03 19:13:55 +11: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

github: add AARCH64 to preprocess test

2022-02-03 17:19:58 +11:00

preprocess-deploy.yml

github: add AARCH64 to preprocess test

2022-02-03 17:19:58 +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