Skip to content

Actions: seL4/microkit

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
67 workflow runs
67 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 bandaid patch for hotfix #605 Deploy #67: Commit 39e7561 pushed by dreamliner787-9
35m 50s main
main
35m 50s
Remove grant_reply permission from reply caps Deploy #66: Commit 04a259e pushed by midnightveil
1h 13m 58s main
main
1h 13m 58s
tool: don't grant PDs their parent's fault EP cap Deploy #65: Commit 9c86417 pushed by dreamliner787-9
40m 57s main
main
40m 57s
libmicrokit,loader,monitor: omit stack protector Deploy #64: Commit e4c9ddb pushed by dreamliner787-9
42m 3s main
main
42m 3s
Start 2.3.1-dev release cycle Deploy #63: Commit b08fce3 pushed by midnightveil
3m 13s main
main
3m 13s
Release 2.3.1 Deploy #62: Commit ec86afd pushed by dreamliner787-9
59m 53s 2.3.1
2.3.1
59m 53s
Release 2.3.1 Deploy #61: Commit ec86afd pushed by dreamliner787-9
1h 7m 41s main
main
1h 7m 41s
tool: detect duplicate I/O APIC IRQs and MSIs Deploy #60: Commit 8c6ca8c pushed by dreamliner787-9
43m 34s main
main
43m 34s
examples/hierarchy: add expected output Deploy #59: Commit 547ab46 pushed by dreamliner787-9
1h 23m 35s main
main
1h 23m 35s
examples: Demonstrates that PPC replies work Deploy #58: Commit fe1a960 pushed by midnightveil
40m 14s main
main
40m 14s
smp: enable the second cluster for rockpro64 Deploy #57: Commit 7e2c9f1 pushed by midnightveil
2m 59s main
main
2m 59s
MapPerms: Consistency between map and iomap Deploy #56: Commit 0c04c60 pushed by midnightveil
58m 33s main
main
58m 33s
Deploy Deploy #55: by midnightveil
59m 33s main
main
59m 33s
tool(cleanup): prefer &str over &String Deploy #54: Commit be1c3ed pushed by midnightveil
2m 34s main
main
2m 34s
tool: separate sdf tree parsing Deploy #53: Commit cf38268 pushed by midnightveil
40m 28s main
main
40m 28s
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