Skip to content

Actions: seL4/microkit

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
52 workflow runs
52 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
tool: remove XML dependency for SDF parsing Deploy #52: Commit 2518115 pushed by midnightveil
44m 21s main
main
44m 21s
domains: Set domain of VM VCPUs to domain of PD Deploy #51: Commit 8ba1202 pushed by midnightveil
1h 17m 27s main
main
1h 17m 27s
Tool: Move image generation out of main Deploy #50: Commit 32180a1 pushed by midnightveil
42m 36s main
main
42m 36s
tool(sdf): split into files Deploy #49: Commit 73bd0b5 pushed by midnightveil
41m 5s main
main
41m 5s
nix: update to 26.05 release Deploy #48: Commit c160bfa pushed by midnightveil
49m 26s main
main
49m 26s
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