Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
523 workflow runs
523 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump QEMU CI #422: Pull request #150 synchronize by nspin
June 11, 2024 05:53 12m 7s nspin:pr/bump-qemu
nspin:pr/bump-qemu
June 11, 2024 05:53 12m 7s
Bump QEMU CI #421: Pull request #150 opened by nspin
June 10, 2024 22:39 12m 23s nspin:pr/bump-qemu
nspin:pr/bump-qemu
June 10, 2024 22:39 12m 23s
nix: Clean up microkit CI #420: Commit 2ed5d33 pushed by nspin
June 8, 2024 01:20 16m 1s main
main
June 8, 2024 01:20 16m 1s
nix: Add support for multiple Microkit configs CI #419: Pull request #149 opened by nspin
June 7, 2024 21:47 13m 55s nspin:pr/multiple-microkit-configs
nspin:pr/multiple-microkit-configs
June 7, 2024 21:47 13m 55s
crates/sel4: Re-order code in state module CI #418: Commit 5ca5213 pushed by nspin
June 7, 2024 21:15 16m 51s main
main
June 7, 2024 21:15 16m 51s
Improve seL4 crate CI #417: Pull request #148 opened by nspin
June 7, 2024 20:51 16m 52s nspin:pr/improve-sel4-crate
nspin:pr/improve-sel4-crate
June 7, 2024 20:51 16m 52s
Remove Kani Docker setup CI #416: Commit ed9bada pushed by nspin
June 5, 2024 18:29 14m 9s main
main
June 5, 2024 18:29 14m 9s
ci: Use Kani with Nix CI #415: Pull request #147 synchronize by nspin
June 5, 2024 18:16 12m 14s nspin:pr/kani-nix
nspin:pr/kani-nix
June 5, 2024 18:16 12m 14s
ci: Use Kani with Nix CI #414: Pull request #147 opened by nspin
June 5, 2024 10:29 14m 3s nspin:pr/kani-nix
nspin:pr/kani-nix
June 5, 2024 10:29 14m 3s
Update dependency commit hashes in README CI #413: Commit f37174b pushed by nspin
May 31, 2024 19:49 12m 29s main
main
May 31, 2024 19:49 12m 29s
nix: Bump Microkit dependency CI #412: Pull request #146 opened by nspin
May 31, 2024 19:31 11m 56s nspin:pr/bump-microkit
nspin:pr/bump-microkit
May 31, 2024 19:31 11m 56s
nix: Run some unit tests in CI CI #411: Commit 8be8c74 pushed by nspin
May 29, 2024 23:27 21m 18s main
main
May 29, 2024 23:27 21m 18s
Run some unit tests in CI CI #410: Pull request #145 opened by nspin
May 29, 2024 23:10 4m 22s nspin:pr/unit-tests-in-ci
nspin:pr/unit-tests-in-ci
May 29, 2024 23:10 4m 22s
cmm: Never inline package.metadata.* tables CI #409: Commit 08d8343 pushed by nspin
May 29, 2024 21:02 12m 57s main
main
May 29, 2024 21:02 12m 57s
cmm: Never inline package.metadata.* tables CI #408: Pull request #144 opened by nspin
May 29, 2024 12:03 11m 12s nspin:pr/cmm-metadata-tables
nspin:pr/cmm-metadata-tables
May 29, 2024 12:03 11m 12s
nix: Fix style CI #407: Commit 680d6fc pushed by nspin
May 29, 2024 11:56 13m 35s main
main
May 29, 2024 11:56 13m 35s
Introduce Verus CI #406: Pull request #143 synchronize by nspin
May 29, 2024 11:33 11m 32s nspin:pr/introduce-verus
nspin:pr/introduce-verus
May 29, 2024 11:33 11m 32s
Introduce Verus CI #405: Pull request #143 synchronize by nspin
May 29, 2024 11:10 19m 45s nspin:pr/introduce-verus
nspin:pr/introduce-verus
May 29, 2024 11:10 19m 45s
fix typo in set_recv_slot CI #404: Commit 914b0ea pushed by nspin
May 29, 2024 11:09 21m 33s main
main
May 29, 2024 11:09 21m 33s
Introduce Verus CI #403: Pull request #143 synchronize by nspin
May 29, 2024 09:51 4m 24s nspin:pr/introduce-verus
nspin:pr/introduce-verus
May 29, 2024 09:51 4m 24s
Introduce Verus CI #402: Pull request #143 opened by nspin
May 29, 2024 09:46 5m 40s nspin:pr/introduce-verus
nspin:pr/introduce-verus
May 29, 2024 09:46 5m 40s
fix typo in set_recv_slot CI #401: Pull request #142 opened by alwin-joshy
May 28, 2024 04:06 32m 4s alwin-joshy:fix_set_recv_slot
alwin-joshy:fix_set_recv_slot
May 28, 2024 04:06 32m 4s
Add Dafny test CI #400: Commit 507a9e2 pushed by nspin
May 27, 2024 09:26 19m 38s main
main
May 27, 2024 09:26 19m 38s
Add Dafny test CI #399: Pull request #141 opened by nspin
May 27, 2024 08:57 27m 41s nspin:pr/add-dafny-test
nspin:pr/add-dafny-test
May 27, 2024 08:57 27m 41s
docker: Improve Kani Docker setup CI #398: Commit 53c051a pushed by nspin
May 15, 2024 22:24 14m 43s main
main
May 15, 2024 22:24 14m 43s