Logo
Explore Help
Sign In
Imagelibrary/seL4
1
0
Fork 1
You've already forked seL4
mirror of https://github.com/seL4/seL4.git synced 2026-04-05 06:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
eda441ebe77516c9c123b730e0d255c7366e93d4
seL4/.github/workflows
History
Axel Heider eda441ebe7 CI: the seL4/machine_queue repo is public now
Signed-off-by: Axel Heider <axelheider@gmx.de>
2024-01-30 12:26:50 +00:00
..
compilation-checks.yml
github: bump GitHub actions to node20
2024-01-29 10:11:25 +11:00
cparser.yml
github: run C parser on push/PR
2021-06-30 14:04:00 +10:00
manual.yml
github: bump GitHub actions to node20
2024-01-29 10:11:25 +11: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: bump GitHub actions to node20
2024-01-29 10:11:25 +11:00
push.yml
Refactor github workflows; add preprocess test
2020-06-18 12:47:54 +10:00
sel4bench-pr.yml
CI: the seL4/machine_queue repo is public now
2024-01-30 12:26:50 +00:00
sel4test-deploy.yml
CI: the seL4/machine_queue repo is public now
2024-01-30 12:26:50 +00:00
sel4test-hw.yml
CI: the seL4/machine_queue repo is public now
2024-01-30 12:26:50 +00:00
sel4test-sim.yml
CI: do simulation and HW build with LLVM on RISCV
2024-01-12 07:50:50 +11:00
trigger.yml
github: run actions with secrets only in seL4 org
2021-10-18 14:47:07 +11:00
xml_lint.yml
github: bump GitHub actions to node20
2024-01-29 10:11:25 +11:00
Powered by Gitea Version: 1.24.4 Page: 28ms Template: 6ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API