Skip to content

Actions: seL4/microkit

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
27 workflow runs
27 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
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
rollback rust-sel4 to c30d0e4 Deploy #22: Commit 75de0b5 pushed by midnightveil
56m 49s main
main
56m 49s
tool: remove duplicated range check of stack+MR Deploy #21: Commit b4f0370 pushed by midnightveil
2m 9s main
main
2m 9s
tool: check slot of extra caps Deploy #20: Commit 1a5815c pushed by midnightveil
40m 20s main
main
40m 20s
tool/elf: type_ -> r#type Deploy #19: Commit b58bef3 pushed by midnightveil
2m 27s main
main
2m 27s
examples: add --viper-output to the hello example Deploy #18: Commit 3be0795 pushed by midnightveil
58m 14s main
main
58m 14s
docs: add qemu_virt_aarch64_el1 to manual Deploy #17: Commit b5cd889 pushed by midnightveil
8m 50s main
main
8m 50s
tool: migrate to new environment info gathering Deploy #16: Commit 00f86ca pushed by midnightveil
55m 24s main
main
55m 24s
Add x86 vCPU on/off API Deploy #15: Commit 31ee14b pushed by midnightveil
2m 14s main
main
2m 14s
Rename to microkit_cspace_root_slot_to_cptr Deploy #14: Commit 16f3f58 pushed by midnightveil
2h 2m 13s main
main
2h 2m 13s
libmicrokit: fix deferred signal dropping on reply Deploy #13: Commit 38d6827 pushed by midnightveil
1h 31m 47s main
main
1h 31m 47s
Support 'cap sharing' via new <cspace> element Deploy #12: Commit 079561b pushed by midnightveil
4m 5s main
main
4m 5s
manual: fix prefilling sysdesc hyperlink Deploy #11: Commit 93ee3cc pushed by midnightveil
57m 44s main
main
57m 44s
tool: generate page tables for EL1 support Deploy #10: Commit 2c888a9 pushed by midnightveil
5m 54s main
main
5m 54s
loader(aarch64 el1): pop stack properly Deploy #9: Commit 3db249f pushed by midnightveil
8m 43s main
main
8m 43s
loader(aarch64): print out ELR on fault Deploy #8: Commit 110e293 pushed by midnightveil
5m 32s main
main
5m 32s
Update rust-sel4 to 33cb132 Deploy #7: Commit 1d0d3e4 pushed by Ivan-Velickovic
55m 10s main
main
55m 10s
docs: consistent name for the STM32MP2 board Deploy #6: Commit 62ad46e pushed by midnightveil
2m 54s main
main
2m 54s
Update seL4 to e912df Deploy #5: Commit 6332f89 pushed by Ivan-Velickovic
2m 39s main
main
2m 39s
ci: specify deploy manifest Deploy #4: Commit 8e1c1ef pushed by Ivan-Velickovic
41s main
main
41s
ci: fix deploy script SDK version Deploy #3: Commit 996c5f0 pushed by Ivan-Velickovic
59m 2s main
main
59m 2s