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

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
ci: Add auto-optimise-store = true to some jobs CI #188: Pull request #59 synchronize by nspin
January 8, 2024 11:00 12m 20s nspin:pr/ci-optimize-store
nspin:pr/ci-optimize-store
January 8, 2024 11:00 12m 20s
ci: Add auto-optimise-store = true to some jobs CI #187: Pull request #59 opened by nspin
January 8, 2024 10:58 10m 19s nspin:pr/ci-optimize-store
nspin:pr/ci-optimize-store
January 8, 2024 10:58 10m 19s
crates/sel4-async/network/rustls: Add README CI #186: Commit 6f3fb44 pushed by nspin
January 7, 2024 10:22 15m 26s main
main
January 7, 2024 10:22 15m 26s
Replace MBedTLS with Rustls CI #185: Pull request #58 synchronize by nspin
January 7, 2024 10:08 9m 50s nspin:pr/rustls
nspin:pr/rustls
January 7, 2024 10:08 9m 50s
Replace MBedTLS with Rustls CI #184: Pull request #58 synchronize by nspin
January 7, 2024 10:08 12m 20s nspin:pr/rustls
nspin:pr/rustls
January 7, 2024 10:08 12m 20s
Replace MBedTLS with Rustls CI #183: Pull request #58 opened by nspin
January 7, 2024 10:05 12m 34s nspin:pr/rustls
nspin:pr/rustls
January 7, 2024 10:05 12m 34s
nix: Move note CI #182: Commit 84e305b pushed by nspin
January 7, 2024 07:23 15m 44s main
main
January 7, 2024 07:23 15m 44s
Bump Rust toolchain version CI #181: Pull request #57 opened by nspin
January 7, 2024 07:11 11m 26s nspin:pr/bump-rust
nspin:pr/bump-rust
January 7, 2024 07:11 11m 26s
Address clippy lints CI #180: Commit 02806fc pushed by nspin
January 7, 2024 00:31 23m 29s main
main
January 7, 2024 00:31 23m 29s
Address clippy lints CI #179: Pull request #56 synchronize by nspin
January 6, 2024 23:04 18m 36s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
January 6, 2024 23:04 18m 36s
Address clippy lints CI #178: Pull request #56 opened by nspin
January 6, 2024 23:04 14m 36s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
January 6, 2024 23:04 14m 36s
crates/sel4-newlib: Switch to more static approach CI #177: Commit 56e0380 pushed by nspin
January 6, 2024 07:24 16m 23s main
main
January 6, 2024 07:24 16m 23s
Use more static approach in sel4-newlib crate CI #176: Pull request #55 opened by nspin
January 6, 2024 03:20 8m 29s nspin:pr/more-static-newlib
nspin:pr/more-static-newlib
January 6, 2024 03:20 8m 29s
Use symbolic versions of crates CI #175: Commit 673540c pushed by nspin
January 6, 2024 01:32 17m 53s main
main
January 6, 2024 01:32 17m 53s
Test ring on -*sel4* targets CI #174: Pull request #54 synchronize by nspin
January 6, 2024 00:58 23m 10s nspin:pr/nix-cargo-test-and-ring
nspin:pr/nix-cargo-test-and-ring
January 6, 2024 00:58 23m 10s
Add riscv*gc-sel4*.json target specs CI #173: Commit 844f4d9 pushed by nspin
January 6, 2024 00:58 24m 51s main
main
January 6, 2024 00:58 24m 51s
Test ring on -*sel4* targets CI #172: Pull request #54 opened by nspin
January 6, 2024 00:57 1h 7m 48s nspin:pr/nix-cargo-test-and-ring
nspin:pr/nix-cargo-test-and-ring
January 6, 2024 00:57 1h 7m 48s
ProTip! You can narrow down the results and go further in time using created:<2024-01-06 or the other filters available.