Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
510 workflow runs
510 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add dummy vscode rust-analyzer config CI #509: Commit b3b9038 pushed by nspin
September 22, 2024 07:39 12m 29s main
main
September 22, 2024 07:39 12m 29s
Add dummy VSCode rust-analyzer config CI #508: Pull request #198 synchronize by nspin
September 21, 2024 05:16 11m 59s nspin:pr/add-dummy-vscode-rust-analyzer-config
nspin:pr/add-dummy-vscode-rust-analyzer-config
September 21, 2024 05:16 11m 59s
Add dummy VSCode rust-analyzer config CI #507: Pull request #198 synchronize by nspin
September 20, 2024 21:07 6m 11s nspin:pr/add-dummy-vscode-rust-analyzer-config
nspin:pr/add-dummy-vscode-rust-analyzer-config
September 20, 2024 21:07 6m 11s
Add dummy VSCode rust-analyzer config CI #506: Pull request #198 opened by nspin
September 20, 2024 21:06 6m 38s nspin:pr/add-dummy-vscode-rust-analyzer-config
nspin:pr/add-dummy-vscode-rust-analyzer-config
September 20, 2024 21:06 6m 38s
Remove metadata from target specs CI #505: Commit a49e59d pushed by nspin
September 19, 2024 08:45 19m 34s main
main
September 19, 2024 08:45 19m 34s
Remove metadata from target specs CI #504: Pull request #197 synchronize by nspin
September 19, 2024 06:15 59m 29s nspin:pr/rm-target-spec-metadata
nspin:pr/rm-target-spec-metadata
September 19, 2024 06:15 59m 29s
Remove metadata from target specs CI #503: Pull request #197 opened by nspin
September 19, 2024 06:04 9m 34s nspin:pr/rm-target-spec-metadata
nspin:pr/rm-target-spec-metadata
September 19, 2024 06:04 9m 34s
Suppress warnings in macro expansions CI #502: Commit 5f6d5da pushed by nspin
September 19, 2024 05:26 43m 41s main
main
September 19, 2024 05:26 43m 41s
Suppress warnings in macro expansions CI #501: Pull request #196 synchronize by nspin
September 19, 2024 01:14 57m 16s nspin:pr/macro-expansion-warnings
nspin:pr/macro-expansion-warnings
September 19, 2024 01:14 57m 16s
Suppress warnings in macro expansions CI #500: Pull request #196 opened by nspin
September 19, 2024 01:04 8m 59s nspin:pr/macro-expansion-warnings
nspin:pr/macro-expansion-warnings
September 19, 2024 01:04 8m 59s
Add support for Microkit on riscv64 CI #499: Commit 1cd063a pushed by nspin
September 18, 2024 23:00 17m 50s main
main
September 18, 2024 23:00 17m 50s
Add support for Microkit on riscv64 CI #498: Pull request #194 opened by nspin
September 18, 2024 22:37 14m 37s nspin:pr/riscv64-microkit
nspin:pr/riscv64-microkit
September 18, 2024 22:37 14m 37s
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