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

General trivial clean up CI #121: Pull request #37 synchronize by nspin
October 24, 2023 10:56 11m 34s nspin:pr/general-cleanup
nspin:pr/general-cleanup
October 24, 2023 10:56 11m 34s
General trivial clean up CI #120: Pull request #37 opened by nspin
October 24, 2023 10:51 17m 12s nspin:pr/general-cleanup
nspin:pr/general-cleanup
October 24, 2023 10:51 17m 12s
Document Cargo manifest management tools CI #119: Commit 6f373a8 pushed by nspin
October 24, 2023 10:15 20m 53s main
main
October 24, 2023 10:15 20m 53s
Rework Cargo manifest management CI #118: Pull request #36 synchronize by nspin
October 24, 2023 09:57 16m 47s nspin:pr/rework-cargo-manifest-management
nspin:pr/rework-cargo-manifest-management
October 24, 2023 09:57 16m 47s
Rework Cargo manifest management CI #117: Pull request #36 synchronize by nspin
October 24, 2023 09:44 15m 31s nspin:pr/rework-cargo-manifest-management
nspin:pr/rework-cargo-manifest-management
October 24, 2023 09:44 15m 31s
Rework Cargo manifest management CI #116: Pull request #36 synchronize by nspin
October 24, 2023 09:43 12m 43s nspin:pr/rework-cargo-manifest-management
nspin:pr/rework-cargo-manifest-management
October 24, 2023 09:43 12m 43s
Rework Cargo manifest management CI #115: Pull request #36 synchronize by nspin
October 24, 2023 09:41 12m 8s nspin:pr/rework-cargo-manifest-management
nspin:pr/rework-cargo-manifest-management
October 24, 2023 09:41 12m 8s
Rework Cargo manifest management CI #114: Pull request #36 synchronize by nspin
October 24, 2023 09:39 12m 24s nspin:pr/rework-cargo-manifest-management
nspin:pr/rework-cargo-manifest-management
October 24, 2023 09:39 12m 24s
Rework Cargo manifest management CI #113: Pull request #36 opened by nspin
October 24, 2023 04:00 49m 51s nspin:pr/rework-cargo-manifest-management
nspin:pr/rework-cargo-manifest-management
October 24, 2023 04:00 49m 51s
crates/sel4-externally-shared: Fix licensing information CI #112: Commit 9acd917 pushed by nspin
October 24, 2023 03:49 1h 7m 38s main
main
October 24, 2023 03:49 1h 7m 38s
Acheive REUSE compliance CI #111: Pull request #35 synchronize by nspin
October 24, 2023 01:24 2h 3m 8s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 24, 2023 01:24 2h 3m 8s
Acheive REUSE compliance CI #110: Pull request #35 synchronize by nspin
October 24, 2023 00:50 45m 26s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 24, 2023 00:50 45m 26s
Acheive REUSE compliance CI #109: Pull request #35 synchronize by nspin
October 24, 2023 00:39 37m 39s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 24, 2023 00:39 37m 39s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.