Skip to content

Actions: seL4/rust-microkit-http-server-demo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use release versions of Microkit and rust-sel4 CI #48: Commit af5859f pushed by nspin
7m 22s main
main
7m 22s
Update for seL4/Microkit/rust-sel4 release CI #47: Pull request #17 synchronize by nspin
7m 10s nspin:pr/update
nspin:pr/update
7m 10s
Update for seL4/Microkit/rust-sel4 release CI #46: Pull request #17 synchronize by nspin
43s nspin:pr/update
nspin:pr/update
43s
Update for seL4/Microkit/rust-sel4 release CI #45: Pull request #17 synchronize by nspin
48s nspin:pr/update
nspin:pr/update
48s
Update for seL4/Microkit/rust-sel4 release CI #44: Pull request #17 opened by nspin
5m 12s nspin:pr/update
nspin:pr/update
5m 12s
Bump to rust-sel4 and Microkit HEAD CI #43: Pull request #16 opened by nspin
5m 5s nspin:pr/bump-to-head
nspin:pr/bump-to-head
5m 5s
Run update.sh CI #42: Commit 503cf93 pushed by nspin
7m 1s main
main
7m 1s
Update everything CI #41: Pull request #15 opened by nspin
6m 57s nspin:pr/update-everything
nspin:pr/update-everything
6m 57s