portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/.github/workflows
History
Gerwin Klein 8ff9189be3 github: add AARCH64 to preprocess test 
There is now an `AARCH64_verified` configuration which is used in
ongoing verification of the seL4 AArch64 port. This commit enables
the preprocess check for this config so that verification impact
becomes visible on pull requests.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2022-02-03 17:19:58 +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 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