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

Add serial device example CI #347: Pull request #119 synchronize by nspin
March 20, 2024 06:48 10m 3s nspin:pr/serial-device-example
nspin:pr/serial-device-example
March 20, 2024 06:48 10m 3s
Add serial device example CI #346: Pull request #119 synchronize by nspin
March 20, 2024 06:47 9m 35s nspin:pr/serial-device-example
nspin:pr/serial-device-example
March 20, 2024 06:47 9m 35s
Add serial device example CI #345: Pull request #119 synchronize by nspin
March 20, 2024 06:45 5m 8s nspin:pr/serial-device-example
nspin:pr/serial-device-example
March 20, 2024 06:45 5m 8s
Add serial device example CI #344: Pull request #119 opened by nspin
March 20, 2024 05:58 4m 42s nspin:pr/serial-device-example
nspin:pr/serial-device-example
March 20, 2024 05:58 4m 42s
Address clippy lints CI #343: Commit 7e38687 pushed by nspin
March 19, 2024 07:30 11m 37s main
main
March 19, 2024 07:30 11m 37s
Address clippy lints CI #342: Pull request #118 synchronize by nspin
March 19, 2024 07:15 11m 12s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
March 19, 2024 07:15 11m 12s
Address clippy lints CI #341: Pull request #118 opened by nspin
March 19, 2024 06:42 17m 51s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
March 19, 2024 06:42 17m 51s
crates/sel4-capdl-initializer: Remove unnecessary fences CI #340: Commit 4044494 pushed by nspin
March 18, 2024 07:51 9m 47s main
main
March 18, 2024 07:51 9m 47s
Remove unnecessary fences in CapDL initializer CI #339: Pull request #114 synchronize by nspin
March 18, 2024 07:28 12m 2s nspin:pr/remove-unecessary-fences
nspin:pr/remove-unecessary-fences
March 18, 2024 07:28 12m 2s
nix: Remove opt issue workaround CI #338: Commit f39389b pushed by nspin
March 16, 2024 10:41 22m 25s main
main
March 16, 2024 10:41 22m 25s
Bump Rust toolchain CI #337: Pull request #115 synchronize by nspin
March 16, 2024 10:26 9m 40s nspin:pr/bump-rust-toolchain
nspin:pr/bump-rust-toolchain
March 16, 2024 10:26 9m 40s
Bump Rust toolchain CI #336: Pull request #115 opened by nspin
March 16, 2024 10:26 11m 2s nspin:pr/bump-rust-toolchain
nspin:pr/bump-rust-toolchain
March 16, 2024 10:26 11m 2s
Remove unnecessary fences in CapDL initializer CI #335: Pull request #114 opened by nspin
March 14, 2024 21:41 7m 8s nspin:pr/remove-unecessary-fences
nspin:pr/remove-unecessary-fences
March 14, 2024 21:41 7m 8s
ci: Bump action versions CI #334: Commit 29fa149 pushed by nspin
March 14, 2024 21:40 13m 44s main
main
March 14, 2024 21:40 13m 44s
ci: Bump action versions CI #333: Pull request #113 opened by nspin
March 14, 2024 21:21 17m 38s nspin:pr/bump-action-version
nspin:pr/bump-action-version
March 14, 2024 21:21 17m 38s
crates/sel4: Don't export cap::* CI #332: Commit db62444 pushed by nspin
March 14, 2024 12:41 12m 55s main
main
March 14, 2024 12:41 12m 55s
Clean up sel4 crate namespace CI #331: Pull request #112 opened by nspin
March 14, 2024 12:26 15m 27s nspin:pr/clean-up-sel4-namespace
nspin:pr/clean-up-sel4-namespace
March 14, 2024 12:26 15m 27s
crates/sel4-capdl-initializer: Simplify CI #330: Commit efba008 pushed by nspin
March 14, 2024 11:59 12m 58s main
main
March 14, 2024 11:59 12m 58s
Introduce spawn-task example CI #329: Pull request #111 synchronize by nspin
March 14, 2024 11:34 12m 37s nspin:pr/spawn-task-example
nspin:pr/spawn-task-example
March 14, 2024 11:34 12m 37s
Introduce spawn-task example CI #328: Pull request #111 synchronize by nspin
March 14, 2024 00:54 10m 26s nspin:pr/spawn-task-example
nspin:pr/spawn-task-example
March 14, 2024 00:54 10m 26s
Introduce spawn-task example CI #327: Pull request #111 synchronize by nspin
March 14, 2024 00:50 8m 21s nspin:pr/spawn-task-example
nspin:pr/spawn-task-example
March 14, 2024 00:50 8m 21s
Introduce spawn-task example CI #326: Pull request #111 synchronize by nspin
March 13, 2024 23:39 11m 2s nspin:pr/spawn-task-example
nspin:pr/spawn-task-example
March 13, 2024 23:39 11m 2s
Introduce spawn-task example CI #325: Pull request #111 opened by nspin
March 13, 2024 23:34 7m 5s nspin:pr/spawn-task-example
nspin:pr/spawn-task-example
March 13, 2024 23:34 7m 5s
CI CI #324: by nspin
March 13, 2024 22:57 11m 40s main
main
March 13, 2024 22:57 11m 40s
nix: Update CapDL rev CI #323: Pull request #110 synchronize by nspin
March 13, 2024 22:37 18m 35s nspin:pr/update-capdl-rev
nspin:pr/update-capdl-rev
March 13, 2024 22:37 18m 35s