Skip to content

Actions: seL4/microkit

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
47 workflow runs
47 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
boards: add pi 5 support Deploy #47: Commit cfd5216 pushed by midnightveil
49m 40s main
main
49m 40s
trivial: format build_sdk.py Deploy #46: Commit be2ac59 pushed by midnightveil
38m 36s main
main
38m 36s
tool: implement node tree pattern for SDF parse Deploy #45: Commit 36d5e39 pushed by midnightveil
38m 8s main
main
38m 8s
Deploy Deploy #44: by midnightveil
1h 19m 57s main
main
1h 19m 57s
Start 2.3.0-dev release cycle Deploy #43: Commit 8b6f6d4 pushed by midnightveil
1h 7m 51s main
main
1h 7m 51s
IOMMU: Style Fix ups (minor) Deploy #42: Commit 4e8fbf6 pushed by midnightveil
56m 6s main
main
56m 6s
Release 2.3.0 Deploy #41: Commit 8780fab pushed by midnightveil
2m 1s 2.3.0
2.3.0
2m 1s
Release 2.3.0 Deploy #40: Commit 8780fab pushed by midnightveil
44m 56s main
main
44m 56s
cleanup: remove python deps from python microkit Deploy #39: Commit d519608 pushed by midnightveil
44m 35s main
main
44m 35s
manual: document must have CPU features for x86 Deploy #38: Commit f344d90 pushed by midnightveil
1h 52m 57s main
main
1h 52m 57s
domains: document the feature in the manual Deploy #37: Commit 5a719bb pushed by midnightveil
1h 6m 24s main
main
1h 6m 24s
build_sdk: cleanup config overriding order Deploy #36: Commit ee52c8b pushed by midnightveil
42m 44s main
main
42m 44s
tool: Fix PD image load in multi-iteration build Deploy #35: Commit d7d24b2 pushed by midnightveil
42m 31s main
main
42m 31s
IOMMU: Integrate rust-sel4 capdl initialiser Deploy #34: Commit 4f62412 pushed by midnightveil
45m 22s main
main
45m 22s
Memory Refactor: Integrate the improved config Deploy #33: Commit 770bf45 pushed by midnightveil
1h 27m 6s main
main
1h 27m 6s
IOMMU: Support domain ids Deploy #32: Commit 4dc6c98 pushed by midnightveil
1h 0m 53s main
main
1h 0m 53s
libmicrokit: introduce 'microkit_pd_resume' Deploy #31: Commit 2a3483a pushed by midnightveil
41m 51s main
main
41m 51s
Remove support for a cap_cspace mapping Deploy #30: Commit 423dd08 pushed by midnightveil
59m 33s main
main
59m 33s
tool: refactored shadow CSpace management Deploy #29: Commit 711eed5 pushed by midnightveil
42m 46s main
main
42m 46s
tool: add tests for virtual machine Deploy #28: Commit 200df43 pushed by midnightveil
46m 35s main
main
46m 35s
seL4Config: remove duplicated constants Deploy #27: Commit 7ce6c9f pushed by midnightveil
1h 19m 9s main
main
1h 19m 9s
Fix Typo Deploy #26: Commit 4f7c38f pushed by midnightveil
1h 3m 8s main
main
1h 3m 8s
ci: use microkit-manifest for PR SDK builds Deploy #25: Commit ba0e475 pushed by midnightveil
1h 24m 8s main
main
1h 24m 8s
tool: update capdl object allocation algorithm Deploy #24: Commit 4a9befa pushed by midnightveil
2m 17s main
main
2m 17s
tests: add test cases for bootinfo prefilling Deploy #23: Commit 5a123fe pushed by midnightveil
4m 59s main
main
4m 59s