Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow run results
84 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Acheive REUSE compliance CI #108: Pull request #35 synchronize by nspin
October 23, 2023 11:49 6m 37s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 23, 2023 11:49 6m 37s
Acheive REUSE compliance CI #107: Pull request #35 opened by nspin
October 21, 2023 13:46 7m 59s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 21, 2023 13:46 7m 59s
crates/sel4-externally-shared: Improve API CI #106: Commit d140258 pushed by nspin
October 20, 2023 13:49 28m 50s main
main
October 20, 2023 13:49 28m 50s
Improve API of sel4-externally-shared CI #105: Pull request #34 opened by nspin
October 20, 2023 13:14 35m 44s nspin:pr/externally-shared-improve-api
nspin:pr/externally-shared-improve-api
October 20, 2023 13:14 35m 44s
crates/sel4-externally-shared: Rework CI #104: Commit 111c982 pushed by nspin
October 20, 2023 12:39 18m 40s main
main
October 20, 2023 12:39 18m 40s
Rework sel4-externally-shared crate CI #103: Pull request #33 opened by nspin
October 20, 2023 12:23 15m 28s nspin:pr/externally-shared-rework
nspin:pr/externally-shared-rework
October 20, 2023 12:23 15m 28s
crates/sel4-async/block-io/cpiofs: Update for improvements in depende… CI #102: Commit c1f0292 pushed by nspin
October 20, 2023 02:17 19m 24s main
main
October 20, 2023 02:17 19m 24s
Enable robustness against malicious drivers CI #101: Pull request #32 opened by nspin
October 20, 2023 01:19 15m 54s nspin:pr/robustness-against-malicious-drivers
nspin:pr/robustness-against-malicious-drivers
October 20, 2023 01:19 15m 54s
crates/sel4-async/time: Add note about Interval future CI #100: Commit 15c9dcb pushed by nspin
October 20, 2023 01:12 23m 47s main
main
October 20, 2023 01:12 23m 47s
Rework asynchronous timers CI #99: Pull request #31 synchronize by nspin
October 20, 2023 00:33 37m 39s nspin:pr/time
nspin:pr/time
October 20, 2023 00:33 37m 39s
Rework asynchronous timers CI #98: Pull request #31 synchronize by nspin
October 20, 2023 00:33 32m 28s nspin:pr/time
nspin:pr/time
October 20, 2023 00:33 32m 28s
Rework asynchronous timers CI #97: Pull request #31 opened by nspin
October 20, 2023 00:31 31m 50s nspin:pr/time
nspin:pr/time
October 20, 2023 00:31 31m 50s
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