Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
570 workflow runs
570 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve thread-local storage handling CI #572: Pull request #231 synchronize by nspin
November 1, 2024 11:37 20m 46s nspin:pr/runtime-improvements
nspin:pr/runtime-improvements
November 1, 2024 11:37 20m 46s
Improve thread-local storage handling CI #571: Pull request #231 opened by nspin
November 1, 2024 10:47 22m 57s nspin:pr/runtime-improvements
nspin:pr/runtime-improvements
November 1, 2024 10:47 22m 57s
nix: Push a more relevant expression to cachix CI #570: Commit 49d2d3c pushed by nspin
November 1, 2024 10:43 20m 38s main
main
November 1, 2024 10:43 20m 38s
Default to panic = "abort" CI #569: Pull request #228 synchronize by nspin
October 31, 2024 11:49 23m 58s nspin:pr/panic-abort-by-default
nspin:pr/panic-abort-by-default
October 31, 2024 11:49 23m 58s
Default to panic = "abort" CI #568: Pull request #228 synchronize by nspin
October 31, 2024 11:45 1h 1m 37s nspin:pr/panic-abort-by-default
nspin:pr/panic-abort-by-default
October 31, 2024 11:45 1h 1m 37s
Default to panic = "abort" CI #567: Pull request #228 synchronize by nspin
October 31, 2024 01:37 46m 54s nspin:pr/panic-abort-by-default
nspin:pr/panic-abort-by-default
October 31, 2024 01:37 46m 54s
Default to panic = "abort" CI #566: Pull request #228 opened by nspin
October 31, 2024 01:04 55m 6s nspin:pr/panic-abort-by-default
nspin:pr/panic-abort-by-default
October 31, 2024 01:04 55m 6s
Fix unwinding feature in sel4-microkit crate CI #565: Pull request #227 opened by nspin
October 30, 2024 21:45 9m 57s nspin:pr/fix-unwinding-feature
nspin:pr/fix-unwinding-feature
October 30, 2024 21:45 9m 57s
nix: Refactor ferrocene expression and bump ferrocene CI #564: Commit b810c94 pushed by nspin
October 30, 2024 20:32 33m 6s main
main
October 30, 2024 20:32 33m 6s
Enable testing this project with a range of Rust toolchain versions CI #563: Pull request #226 opened by nspin
October 30, 2024 09:59 2h 13m 34s nspin:pr/diversity-of-toolchains
nspin:pr/diversity-of-toolchains
October 30, 2024 09:59 2h 13m 34s
nix: Improve clarity CI #562: Commit c9e7035 pushed by nspin
October 30, 2024 04:35 29m 10s main
main
October 30, 2024 04:35 29m 10s
Run Clippy in CI CI #561: Pull request #225 synchronize by nspin
October 30, 2024 02:01 42m 32s nspin:pr/run-clippy-in-ci
nspin:pr/run-clippy-in-ci
October 30, 2024 02:01 42m 32s
Run Clippy in CI CI #560: Pull request #225 synchronize by nspin
October 30, 2024 02:01 1h 10m 5s nspin:pr/run-clippy-in-ci
nspin:pr/run-clippy-in-ci
October 30, 2024 02:01 1h 10m 5s
Run Clippy in CI CI #559: Pull request #225 synchronize by nspin
October 29, 2024 11:40 41m 52s nspin:pr/run-clippy-in-ci
nspin:pr/run-clippy-in-ci
October 29, 2024 11:40 41m 52s
Run Clippy in CI CI #558: Pull request #225 synchronize by nspin
October 29, 2024 11:39 42m 36s nspin:pr/run-clippy-in-ci
nspin:pr/run-clippy-in-ci
October 29, 2024 11:39 42m 36s
Run Clippy in CI CI #557: Pull request #225 opened by nspin
October 29, 2024 08:57 40m 57s nspin:pr/run-clippy-in-ci
nspin:pr/run-clippy-in-ci
October 29, 2024 08:57 40m 57s
Address clippy lints CI #556: Commit 5f96d76 pushed by nspin
October 29, 2024 07:27 16m 13s main
main
October 29, 2024 07:27 16m 13s
Address clippy lints CI #555: Pull request #224 synchronize by nspin
October 29, 2024 07:10 15m 57s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
October 29, 2024 07:10 15m 57s
Address clippy lints CI #554: Pull request #224 opened by nspin
October 29, 2024 07:09 14m 16s nspin:pr/address-clippy-lints
nspin:pr/address-clippy-lints
October 29, 2024 07:09 14m 16s
cmm: Add missing copyright header CI #553: Commit 494d635 pushed by nspin
October 29, 2024 06:41 21m 55s main
main
October 29, 2024 06:41 21m 55s
Manage direct third-party dependencies CI #552: Pull request #223 synchronize by nspin
October 29, 2024 06:09 20m 59s nspin:pr/manage-direct-dependencies
nspin:pr/manage-direct-dependencies
October 29, 2024 06:09 20m 59s
Manage direct third-party dependencies CI #551: Pull request #223 synchronize by nspin
October 29, 2024 06:03 10m 40s nspin:pr/manage-direct-dependencies
nspin:pr/manage-direct-dependencies
October 29, 2024 06:03 10m 40s
Manage direct third-party dependencies CI #550: Pull request #223 opened by nspin
October 29, 2024 05:51 9m 24s nspin:pr/manage-direct-dependencies
nspin:pr/manage-direct-dependencies
October 29, 2024 05:51 9m 24s
cmm: Update Cargo.lock CI #549: Commit dad6e4a pushed by nspin
October 28, 2024 12:07 18m 5s main
main
October 28, 2024 12:07 18m 5s
Update Cargo.lock CI #548: Pull request #221 opened by nspin
October 28, 2024 09:30 20m 17s nspin:pr/update-cargo-lock
nspin:pr/update-cargo-lock
October 28, 2024 09:30 20m 17s