Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
437 workflow runs
437 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve core runtime crates CI #214: Pull request #68 synchronize by nspin
January 18, 2024 06:56 16m 9s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 18, 2024 06:56 16m 9s
Improve core runtime crates CI #213: Pull request #68 synchronize by nspin
January 18, 2024 06:21 58m 44s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 18, 2024 06:21 58m 44s
Improve core runtime crates CI #212: Pull request #68 synchronize by nspin
January 17, 2024 08:01 11m 23s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 17, 2024 08:01 11m 23s
Improve core runtime crates CI #211: Pull request #68 synchronize by nspin
January 16, 2024 10:52 1h 11m 40s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 16, 2024 10:52 1h 11m 40s
Improve core runtime crates CI #210: Pull request #68 synchronize by nspin
January 16, 2024 10:32 52m 58s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 16, 2024 10:32 52m 58s
Improve core runtime crates CI #209: Pull request #68 synchronize by nspin
January 16, 2024 10:32 57m 7s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 16, 2024 10:32 57m 7s
Improve core runtime crates CI #208: Pull request #68 opened by nspin
January 15, 2024 09:36 15m 45s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 15, 2024 09:36 15m 45s
Improve core runtime crates CI #207: Pull request #67 synchronize by nspin
January 15, 2024 09:15 6h 0m 26s nspin:pr/reduce-dependence-on-sel4
nspin:pr/reduce-dependence-on-sel4
January 15, 2024 09:15 6h 0m 26s
Improve core runtime crates CI #206: Pull request #67 synchronize by nspin
January 13, 2024 07:44 1h 16m 14s nspin:pr/reduce-dependence-on-sel4
nspin:pr/reduce-dependence-on-sel4
January 13, 2024 07:44 1h 16m 14s
Improve core runtime crates CI #205: Pull request #67 opened by nspin
January 12, 2024 10:25 1h 14m 5s nspin:pr/reduce-dependence-on-sel4
nspin:pr/reduce-dependence-on-sel4
January 12, 2024 10:25 1h 14m 5s
Add riscv32imafc target specs CI #203: Commit 629ceb8 pushed by nspin
January 11, 2024 06:57 14m 32s main
main
January 11, 2024 06:57 14m 32s
Add riscv32imafc target specs CI #202: Pull request #65 synchronize by nspin
January 11, 2024 06:38 11m 10s nspin:pr/add-riscv32imafc-target-specs
nspin:pr/add-riscv32imafc-target-specs
January 11, 2024 06:38 11m 10s
Add riscv32imafc target specs CI #201: Pull request #65 opened by nspin
January 11, 2024 06:38 12m 59s nspin:pr/add-riscv32imafc-target-specs
nspin:pr/add-riscv32imafc-target-specs
January 11, 2024 06:38 12m 59s
Remove #![feature(feature)] from CapDL crates CI #200: Commit 6f0e0b5 pushed by nspin
January 11, 2024 01:09 23m 22s main
main
January 11, 2024 01:09 23m 22s
Remove usage unstable never-related features CI #199: Pull request #64 synchronize by nspin
January 11, 2024 00:20 27m 34s nspin:pr/remove-unstable-never-features
nspin:pr/remove-unstable-never-features
January 11, 2024 00:20 27m 34s
Remove usage unstable never-related features CI #198: Pull request #64 opened by nspin
January 11, 2024 00:16 48m 8s nspin:pr/remove-unstable-never-features
nspin:pr/remove-unstable-never-features
January 11, 2024 00:16 48m 8s
Remove unstable macro-related features CI #197: Commit 3d3ff7e pushed by nspin
January 11, 2024 00:13 40m 23s main
main
January 11, 2024 00:13 40m 23s
Remove usage of unstable proc macro features CI #196: Pull request #63 opened by nspin
January 10, 2024 23:16 12m 29s nspin:pr/remove-unstable-proc-macro-features
nspin:pr/remove-unstable-proc-macro-features
January 10, 2024 23:16 12m 29s
Remove unecessary instance of #![feature(never_type)] CI #195: Commit b7e149b pushed by nspin
January 9, 2024 10:02 15m 13s main
main
January 9, 2024 10:02 15m 13s
Further reduce reliance on unstable rustc features CI #194: Pull request #62 opened by nspin
January 9, 2024 09:25 20m 32s nspin:pr/reduce-reliance-on-unstable-features-2
nspin:pr/reduce-reliance-on-unstable-features-2
January 9, 2024 09:25 20m 32s
Address clippy lints CI #193: Commit 124740a pushed by nspin
January 8, 2024 11:44 12m 59s main
main
January 8, 2024 11:44 12m 59s
Reduce reliance on unstable rustc features CI #192: Pull request #61 opened by nspin
January 8, 2024 11:27 12m 57s nspin:pr/reduce-reliance-on-unstable-features
nspin:pr/reduce-reliance-on-unstable-features
January 8, 2024 11:27 12m 57s
crates/sel4-hal-adapters: Update after changes to RingBuffer API CI #191: Commit 81a9ca4 pushed by nspin
January 8, 2024 11:19 12m 31s main
main
January 8, 2024 11:19 12m 31s
crates/sel4-hal-adapters: Update after changes to RingBuffer API CI #190: Pull request #60 opened by nspin
January 8, 2024 11:15 12m 22s nspin:pr/update-hal-adapters
nspin:pr/update-hal-adapters
January 8, 2024 11:15 12m 22s
ci: Add auto-optimise-store = true to some jobs CI #189: Commit a914f52 pushed by nspin
January 8, 2024 11:12 13m 57s main
main
January 8, 2024 11:12 13m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-01-08 or the other filters available.