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

nix: Introduce Ferrocene CI #497: Commit 1431a95 pushed by nspin
September 18, 2024 22:08 16m 26s main
main
September 18, 2024 22:08 16m 26s
Introduce Ferrocene CI #496: Pull request #193 opened by nspin
September 18, 2024 21:30 17m 14s nspin:pr/introduce-ferrocene
nspin:pr/introduce-ferrocene
September 18, 2024 21:30 17m 14s
Address clippy lints CI #495: Commit c5a0945 pushed by nspin
September 18, 2024 21:26 15m 57s main
main
September 18, 2024 21:26 15m 57s
Bump Nixpkgs and Rust CI #494: Pull request #192 synchronize by nspin
September 18, 2024 21:05 20m 28s nspin:pr/bump-nixpkgs-and-rust
nspin:pr/bump-nixpkgs-and-rust
September 18, 2024 21:05 20m 28s
Bump Nixpkgs and Rust CI #493: Pull request #192 synchronize by nspin
September 18, 2024 13:35 27m 25s nspin:pr/bump-nixpkgs-and-rust
nspin:pr/bump-nixpkgs-and-rust
September 18, 2024 13:35 27m 25s
Bump Nixpkgs and Rust CI #492: Pull request #192 synchronize by nspin
September 18, 2024 12:45 47m 50s nspin:pr/bump-nixpkgs-and-rust
nspin:pr/bump-nixpkgs-and-rust
September 18, 2024 12:45 47m 50s
Bump Nixpkgs and Rust CI #491: Pull request #192 opened by nspin
September 18, 2024 12:41 17m 51s nspin:pr/bump-nixpkgs-and-rust
nspin:pr/bump-nixpkgs-and-rust
September 18, 2024 12:41 17m 51s
Bump Nixpkgs CI #490: Pull request #191 opened by nspin
September 18, 2024 12:27 21m 4s nspin:pr/bump-nixpkgs
nspin:pr/bump-nixpkgs
September 18, 2024 12:27 21m 4s
crates/microkit: Add index getter functions CI #489: Commit d3790bf pushed by nspin
August 9, 2024 10:29 16m 58s main
main
August 9, 2024 10:29 16m 58s
crates/microkit: Add index getter functions CI #488: Pull request #177 synchronize by nspin
August 9, 2024 09:53 23m 7s nspin:pr/add-index-getter-functions
nspin:pr/add-index-getter-functions
August 9, 2024 09:53 23m 7s
ci: Test building microkit PD with release configuration CI #487: Commit fe6fdd6 pushed by nspin
August 9, 2024 09:53 18m 42s main
main
August 9, 2024 09:53 18m 42s
crates/microkit: Add index getter functions CI #486: Pull request #177 opened by nspin
August 9, 2024 09:37 25m 20s nspin:pr/add-index-getter-functions
nspin:pr/add-index-getter-functions
August 9, 2024 09:37 25m 20s
Fix Microkit crate for release configuration CI #485: Pull request #176 opened by nspin
August 9, 2024 09:28 23m 42s nspin:pr/fix-microkit-for-release-config
nspin:pr/fix-microkit-for-release-config
August 9, 2024 09:28 23m 42s
irq_control_get_trigger: change trigger to bool CI #484: Commit fa9f0bc pushed by nspin
July 25, 2024 21:11 24m 19s main
main
July 25, 2024 21:11 24m 19s
irq_control_get_trigger: change trigger to bool CI #483: Pull request #172 synchronize by alwin-joshy
July 17, 2024 23:57 35m 56s alwin-joshy:edge_triggered
alwin-joshy:edge_triggered
July 17, 2024 23:57 35m 56s
irq_control_get_trigger: change trigger to bool CI #482: Pull request #172 synchronize by alwin-joshy
July 17, 2024 04:08 38m 28s alwin-joshy:edge_triggered
alwin-joshy:edge_triggered
July 17, 2024 04:08 38m 28s
irq_control_get_trigger: change trigger to bool CI #481: Pull request #172 synchronize by alwin-joshy
July 16, 2024 23:46 8m 47s alwin-joshy:edge_triggered
alwin-joshy:edge_triggered
July 16, 2024 23:46 8m 47s
irq_control_get_trigger: change trigger to bool CI #480: Pull request #172 opened by alwin-joshy
July 16, 2024 23:45 8m 57s alwin-joshy:edge_triggered
alwin-joshy:edge_triggered
July 16, 2024 23:45 8m 57s
nix: Add more shell aliases CI #479: Commit 76034e5 pushed by nspin
July 12, 2024 00:56 16m 1s main
main
July 12, 2024 00:56 16m 1s
nix: Make buildSysroot more broadly useful CI #478: Pull request #171 opened by nspin
July 11, 2024 23:49 1h 4m 48s nspin:pr/nix-sysroot-improvements
nspin:pr/nix-sysroot-improvements
July 11, 2024 23:49 1h 4m 48s
crates/sel4-sync: Re-export lock_api CI #477: Commit 578bdbf pushed by nspin
July 11, 2024 23:47 14m 24s main
main
July 11, 2024 23:47 14m 24s
Add more OS-independent synchronization abstractions and utilities CI #476: Pull request #170 opened by nspin
July 11, 2024 23:27 12m 24s nspin:pr/sync-abstractions
nspin:pr/sync-abstractions
July 11, 2024 23:27 12m 24s
crates/sel4-shared-ring-buffer/smoltcp: Add can_{receive,transmit} CI #475: Commit 8db496d pushed by nspin
July 11, 2024 23:04 12m 57s main
main
July 11, 2024 23:04 12m 57s
crates/sel4-shared-ring-buffer/smoltcp: Add can_{receive,transmit} CI #474: Pull request #169 synchronize by nspin
July 11, 2024 22:49 14m 17s nspin:pr/expand-async-net-api
nspin:pr/expand-async-net-api
July 11, 2024 22:49 14m 17s
crates/sel4-shared-ring-buffer/smoltcp: Add can_{receive,transmit} CI #473: Pull request #169 opened by nspin
July 11, 2024 22:42 5m 59s nspin:pr/expand-async-net-api
nspin:pr/expand-async-net-api
July 11, 2024 22:42 5m 59s