Skip to content

Actions: seL4/rust-sel4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yaml
520 workflow runs
520 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Bump lock_api dependency CI #387: Pull request #135 opened by nspin
May 2, 2024 08:35 55m 10s nspin:pr/bump-lock-api
nspin:pr/bump-lock-api
May 2, 2024 08:35 55m 10s
Fix link in README.md CI #386: Commit 96e2b8c pushed by nspin
May 2, 2024 06:07 12m 4s main
main
May 2, 2024 06:07 12m 4s
Tighten Dockerfile CI #385: Pull request #134 synchronize by nspin
May 2, 2024 05:56 9m 41s nspin:pr/tighten-dockerfile
nspin:pr/tighten-dockerfile
May 2, 2024 05:56 9m 41s
Tighten Dockerfile CI #384: Pull request #134 synchronize by nspin
May 2, 2024 05:52 7m 58s nspin:pr/tighten-dockerfile
nspin:pr/tighten-dockerfile
May 2, 2024 05:52 7m 58s
Tighten Dockerfile CI #383: Pull request #134 synchronize by nspin
May 2, 2024 05:49 8m 37s nspin:pr/tighten-dockerfile
nspin:pr/tighten-dockerfile
May 2, 2024 05:49 8m 37s
Tighten Dockerfile CI #382: Pull request #134 opened by nspin
May 2, 2024 05:37 10m 13s nspin:pr/tighten-dockerfile
nspin:pr/tighten-dockerfile
May 2, 2024 05:37 10m 13s
Restore remaining uses of #![feature(associated_type_bounds)] CI #381: Commit dfa2d8f pushed by nspin
May 2, 2024 05:12 10m 2s main
main
May 2, 2024 05:12 10m 2s
Bump Rust toolchain CI #380: Pull request #133 opened by nspin
May 2, 2024 04:58 8m 27s nspin:pr/bump-rust-toolchain
nspin:pr/bump-rust-toolchain
May 2, 2024 04:58 8m 27s
Update dependency commits in docs CI #379: Commit 71665ab pushed by nspin
May 1, 2024 23:30 11m 18s main
main
May 1, 2024 23:30 11m 18s
nix: Update dependencies CI #378: Pull request #132 opened by nspin
May 1, 2024 20:24 10m 40s nspin:pr/update-dependencies
nspin:pr/update-dependencies
May 1, 2024 20:24 10m 40s
docs: Update dependency commit hashes in README.md CI #377: Commit 9ad36dd pushed by nspin
April 23, 2024 19:40 13m 31s main
main
April 23, 2024 19:40 13m 31s
docs: Update dependency commit hashes in README.md CI #376: Pull request #131 opened by nspin
April 23, 2024 19:40 6m 4s nspin:pr/update-readme
nspin:pr/update-readme
April 23, 2024 19:40 6m 4s
Improve style CI #375: Commit b2c08c6 pushed by nspin
April 22, 2024 08:16 10m 12s main
main
April 22, 2024 08:16 10m 12s
trivial: Improve style CI #374: Pull request #130 synchronize by nspin
April 22, 2024 08:04 9m 32s nspin:pr/improve-style
nspin:pr/improve-style
April 22, 2024 08:04 9m 32s
trivial: Improve style CI #373: Pull request #130 synchronize by nspin
April 22, 2024 08:03 10m 5s nspin:pr/improve-style
nspin:pr/improve-style
April 22, 2024 08:03 10m 5s