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 a crate for embeded_hal (etc.) driver adapters CI #96: Pull request #25 synchronize by protoben
October 9, 2023 18:37 12m 42s protoben:hamlinb/hal-adapters
protoben:hamlinb/hal-adapters
October 9, 2023 18:37 12m 42s
ci: Check Kani proofs CI #95: Commit 8e90b88 pushed by nspin
October 7, 2023 00:08 31m 51s main
main
October 7, 2023 00:08 31m 51s
Add a crate for embeded_hal (etc.) driver adapters CI #94: Pull request #25 synchronize by protoben
October 6, 2023 16:35 15m 28s protoben:hamlinb/hal-adapters
protoben:hamlinb/hal-adapters
October 6, 2023 16:35 15m 28s
Introduce the Kani Rust verifier CI #93: Pull request #30 synchronize by nspin
October 6, 2023 11:20 56m 29s nspin:pr/introduce-kani
nspin:pr/introduce-kani
October 6, 2023 11:20 56m 29s
Introduce the Kani Rust verifier CI #92: Pull request #30 synchronize by nspin
October 6, 2023 11:06 16m 26s nspin:pr/introduce-kani
nspin:pr/introduce-kani
October 6, 2023 11:06 16m 26s
Introduce the Kani Rust verifier CI #91: Pull request #30 opened by nspin
October 6, 2023 11:06 17m 38s nspin:pr/introduce-kani
nspin:pr/introduce-kani
October 6, 2023 11:06 17m 38s
Show serial output in automated HTTP server test CI #90: Commit 074434e pushed by nspin
October 4, 2023 22:25 34m 54s main
main
October 4, 2023 22:25 34m 54s
Show serial output in automated HTTP server test CI #89: Pull request #29 synchronize by nspin
October 4, 2023 22:09 15m 8s nspin:pr/show-output-in-http-server-test
nspin:pr/show-output-in-http-server-test
October 4, 2023 22:09 15m 8s
crates/sel4/sys: Support multi-word bitfields in object invocations CI #88: Commit 4da3dd1 pushed by nspin
October 4, 2023 11:31 17m 22s main
main
October 4, 2023 11:31 17m 22s
Improve sel4-bitfield-ops crate CI #87: Pull request #28 synchronize by nspin
October 4, 2023 09:49 1h 40m 37s nspin:pr/bitfield-ops
nspin:pr/bitfield-ops
October 4, 2023 09:49 1h 40m 37s
Improve sel4-bitfield-ops crate CI #86: Pull request #28 opened by nspin
October 4, 2023 09:49 50m 53s nspin:pr/bitfield-ops
nspin:pr/bitfield-ops
October 4, 2023 09:49 50m 53s
ci: Minimize scope of project source CI #85: Commit 4faba6c pushed by nspin
October 4, 2023 00:46 28m 25s main
main
October 4, 2023 00:46 28m 25s
Address clippy lints CI #84: Pull request #27 synchronize by nspin
October 3, 2023 23:23 52m 52s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
October 3, 2023 23:23 52m 52s
Address clippy lints CI #83: Pull request #27 synchronize by nspin
October 3, 2023 23:11 16m 15s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
October 3, 2023 23:11 16m 15s
Address clippy lints CI #82: Pull request #27 opened by nspin
October 3, 2023 23:11 12m 31s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
October 3, 2023 23:11 12m 31s
ci: Fix job name CI #81: Commit 2c3720d pushed by nspin
October 3, 2023 22:13 19m 15s main
main
October 3, 2023 22:13 19m 15s
ci: Fix job name CI #80: Pull request #26 opened by nspin
October 3, 2023 22:01 14m 54s nspin:pr/fix-job-name
nspin:pr/fix-job-name
October 3, 2023 22:01 14m 54s
Add a crate for embeded_hal (etc.) driver adapters CI #79: Pull request #25 opened by protoben
October 3, 2023 18:13 7m 2s protoben:hamlinb/hal-adapters
protoben:hamlinb/hal-adapters
October 3, 2023 18:13 7m 2s
ci: Parallelize CI #78: Commit 1463669 pushed by nspin
October 3, 2023 11:24 16m 42s main
main
October 3, 2023 11:24 16m 42s
Increase parallelization in CI CI #77: Pull request #24 synchronize by nspin
October 3, 2023 10:47 12m 34s nspin:pr/parallelize-ci
nspin:pr/parallelize-ci
October 3, 2023 10:47 12m 34s
Increase parallelization in CI CI #76: Pull request #24 synchronize by nspin
October 3, 2023 10:33 12m 10s nspin:pr/parallelize-ci
nspin:pr/parallelize-ci
October 3, 2023 10:33 12m 10s
Increase parallelization in CI CI #75: Pull request #24 opened by nspin
October 3, 2023 10:33 15m 27s nspin:pr/parallelize-ci
nspin:pr/parallelize-ci
October 3, 2023 10:33 15m 27s
nix: Clean up CI #74: Commit f2a9455 pushed by nspin
October 3, 2023 10:31 38m 44s main
main
October 3, 2023 10:31 38m 44s
Introduce cargo-audit into CI CI #73: Pull request #22 synchronize by nspin
October 3, 2023 09:03 50m 31s nspin:pr/cargo-audit
nspin:pr/cargo-audit
October 3, 2023 09:03 50m 31s
Introduce cargo-audit into CI CI #72: Pull request #22 synchronize by nspin
October 3, 2023 08:37 9m 52s nspin:pr/cargo-audit
nspin:pr/cargo-audit
October 3, 2023 08:37 9m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.