Skip to content

Actions: au-ts/microkit

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
82 workflow runs
82 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
Add x86 vCPU on/off API Deploy #82: Commit 31ee14b pushed by dreamliner787-9
47m 28s main
main
47m 28s
Rename to microkit_cspace_root_slot_to_cptr Deploy #81: Commit 16f3f58 pushed by dreamliner787-9
52m 5s main
main
52m 5s
manual: don't list out all MSRs and VMCS fields Deploy #80: Commit 1d1611c pushed by dreamliner787-9
47m 50s main
main
47m 50s
tool: generate page tables for EL1 support Deploy #79: Commit 2c888a9 pushed by dreamliner787-9
51m 18s main
main
51m 18s
Update rust-sel4 to 33cb132 Deploy #78: Commit 1d0d3e4 pushed by dreamliner787-9
50m 1s main
main
50m 1s
docs: consistent name for the STM32MP2 board Deploy #77: Commit 62ad46e pushed by dreamliner787-9
52m 48s main
main
52m 48s
Update seL4 to e912df Deploy #76: Commit 6332f89 pushed by midnightveil
1m 18s main
main
1m 18s
ci: add a local run script that is somewhat borked Deploy #75: Commit f6f996e pushed by midnightveil
30m 15s julia/ci-clean
julia/ci-clean
30m 15s
ci: add a local run script that is somewhat borked Deploy #74: Commit 25d14fb pushed by midnightveil
38m 8s julia/ci-clean
julia/ci-clean
38m 8s
ci: add a local run script that is somewhat borked Deploy #73: Commit 8e09639 pushed by midnightveil
1h 8m 18s julia/ci-clean
julia/ci-clean
1h 8m 18s
local run script output to logs Deploy #72: Commit 656a0bc pushed by midnightveil
33m 42s julia/ci-clean
julia/ci-clean
33m 42s
ci: add a local run script that is somewhat borked Deploy #71: Commit 4417c01 pushed by midnightveil
54m 11s julia/ci-clean
julia/ci-clean
54m 11s
ci: add 'deploy' actions runner for HW CI Deploy #70: Commit 6a64037 pushed by midnightveil
5m 58s julia/ci-clean
julia/ci-clean
5m 58s
ci: add 'deploy' actions runner for HW CI Deploy #69: Commit df1c3c1 pushed by midnightveil
1m 31s julia/ci-clean
julia/ci-clean
1m 31s
ci: add 'deploy' actions runner for HW CI Deploy #68: Commit 8071f17 pushed by midnightveil
20m 40s julia/ci-clean
julia/ci-clean
20m 40s
ci: add 'deploy' actions runner for HW CI Deploy #67: Commit 5fa002d pushed by midnightveil
3m 1s julia/ci-clean
julia/ci-clean
3m 1s
ci: add 'deploy' actions runner for HW CI. Deploy #66: Commit ec43409 pushed by midnightveil
17m 18s julia/ci-clean
julia/ci-clean
17m 18s
add SDK_VERSION env var to hw-run Deploy #65: Commit 6239570 pushed by midnightveil
37m 23s julia/ci
julia/ci
37m 23s
fix hw matrix Deploy #64: Commit 2303ece pushed by midnightveil
28m 20s julia/ci
julia/ci
28m 20s
extract sdk for the hw runs for x86 Deploy #63: Commit 25211ce pushed by midnightveil
29m 33s julia/ci
julia/ci
29m 33s
typo fix Deploy #62: Commit 3a42484 pushed by midnightveil
23s julia/ci
julia/ci
23s
fi the matrix to only generated useful oens Deploy #61: Commit 95cf7c9 pushed by midnightveil
29m 5s julia/ci
julia/ci
29m 5s
build everything Deploy #60: Commit 8a360bb pushed by midnightveil
1m 59s julia/ci
julia/ci
1m 59s
fix relative path Deploy #59: Commit ed5aae8 pushed by midnightveil
25m 37s julia/ci
julia/ci
25m 37s
fix rm rf Deploy #58: Commit c718d8b pushed by midnightveil
6m 33s julia/ci
julia/ci
6m 33s