Skip to content

Actions: seL4/rust-sel4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yaml
562 workflow runs
562 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
docker: Improve Kani Docker setup CI #397: Pull request #140 opened by nspin
May 15, 2024 22:10 12m 45s nspin:pr/improve-kani-docker
nspin:pr/improve-kani-docker
May 15, 2024 22:10 12m 45s
Add TCB_SetSpace invocation CI #396: Commit 09708cd pushed by nspin
May 10, 2024 14:16 19m 37s main
main
May 10, 2024 14:16 19m 37s
Add TCB_SetSpace invocation CI #395: Pull request #139 opened by alwin-joshy
May 10, 2024 04:41 30m 49s alwin-joshy:tcb_set_space
alwin-joshy:tcb_set_space
May 10, 2024 04:41 30m 49s
crates/sel4/sys: Remove unecessary #[feature(thread_local)] CI #394: Commit 6a15043 pushed by nspin
May 7, 2024 04:38 19m 21s main
main
May 7, 2024 04:38 19m 21s
Remove unecessary #[feature(thread_local)] from sel4-sys CI #393: Pull request #138 opened by nspin
May 7, 2024 04:05 29m 56s nspin:pr/rm-thread-local-from-sys
nspin:pr/rm-thread-local-from-sys
May 7, 2024 04:05 29m 56s
Remove supplementary definitions of __bswapsi2 CI #392: Commit 1860004 pushed by nspin
May 7, 2024 03:29 11m 22s main
main
May 7, 2024 03:29 11m 22s
Remove supplementary definitions of __bswapsi2 CI #391: Pull request #137 opened by nspin
May 7, 2024 02:23 55m 44s nspin:pr/compiler-builtins-c
nspin:pr/compiler-builtins-c
May 7, 2024 02:23 55m 44s
crates/sel4-kernel-loader: Add missing kernel config includes CI #390: Commit 0859d99 pushed by nspin
May 3, 2024 20:36 11m 39s main
main
May 3, 2024 20:36 11m 39s
Add missing kernel config includes CI #389: Pull request #136 opened by nspin
May 3, 2024 20:22 12m 53s nspin:pr/include-kernel-config
nspin:pr/include-kernel-config
May 3, 2024 20:22 12m 53s
Bump lock_api CI #388: Commit 7b5cb21 pushed by nspin
May 2, 2024 18:29 12m 50s main
main
May 2, 2024 18:29 12m 50s