Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
523 workflow runs
523 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

nix: Use Microkit 1.3.0 CI #447: Pull request #161 synchronize by nspin
July 1, 2024 12:13 18m 55s nspin:pr/correct-microkit-rev
nspin:pr/correct-microkit-rev
July 1, 2024 12:13 18m 55s
nix: Use Microkit 1.3.0 CI #446: Pull request #161 opened by nspin
July 1, 2024 12:11 19m 4s nspin:pr/correct-microkit-rev
nspin:pr/correct-microkit-rev
July 1, 2024 12:11 19m 4s
docs: Update Foundation project commit hashes CI #445: Commit 644c6ba pushed by nspin
July 1, 2024 12:09 15m 50s main
main
July 1, 2024 12:09 15m 50s
docs: Update Foundation project commit hashes CI #444: Pull request #160 opened by nspin
July 1, 2024 11:58 13m 44s nspin:pr/update-commit-hashes-in-docs
nspin:pr/update-commit-hashes-in-docs
July 1, 2024 11:58 13m 44s
nix: Microkit requires EL2 CI #443: Commit 354dc5a pushed by nspin
July 1, 2024 11:50 16m 16s main
main
July 1, 2024 11:50 16m 16s
Update seL4, Microkit, and CapDL to their recently released versions CI #442: Pull request #159 opened by nspin
July 1, 2024 11:35 13m 21s nspin:pr/update-foundation-dependencies
nspin:pr/update-foundation-dependencies
July 1, 2024 11:35 13m 21s
docs: Update commit hashes in README.md CI #441: Commit eae32c2 pushed by nspin
June 27, 2024 14:36 22m 29s main
main
June 27, 2024 14:36 22m 29s
Update dependencies CI #440: Pull request #158 opened by nspin
June 27, 2024 13:35 36m 0s nspin:pr/update-dependencies
nspin:pr/update-dependencies
June 27, 2024 13:35 36m 0s
nix: Expose overridesForMkCrate CI #439: Commit 638112a pushed by nspin
June 26, 2024 02:01 14m 2s main
main
June 26, 2024 02:01 14m 2s
More Nix improvements CI #438: Pull request #157 opened by nspin
June 26, 2024 01:45 15m 10s nspin:pr/nix-improvements
nspin:pr/nix-improvements
June 26, 2024 01:45 15m 10s
Update ring dependency CI #437: Commit 05cdbb3 pushed by nspin
June 26, 2024 00:18 12m 4s main
main
June 26, 2024 00:18 12m 4s
Update ring dependency CI #436: Pull request #156 opened by nspin
June 25, 2024 22:51 11m 54s nspin:pr/update-ring-dependency
nspin:pr/update-ring-dependency
June 25, 2024 22:51 11m 54s
nix: Support custom u-boot bootcmd for rpi4 CI #435: Commit 35b1c5e pushed by nspin
June 24, 2024 15:55 13m 25s main
main
June 24, 2024 15:55 13m 25s
More Nix improvements CI #434: Pull request #155 opened by nspin
June 24, 2024 15:41 12m 16s nspin:pr/nix-flexiblity
nspin:pr/nix-flexiblity
June 24, 2024 15:41 12m 16s
crates/sel4-microkit: Add ipc::reply() CI #433: Commit 3092bba pushed by nspin
June 24, 2024 08:50 13m 57s main
main
June 24, 2024 08:50 13m 57s
Microkit-releated improvements CI #432: Pull request #154 opened by nspin
June 24, 2024 08:33 11m 28s nspin:pr/microkit-improvements
nspin:pr/microkit-improvements
June 24, 2024 08:33 11m 28s
nix: Clean up CI #431: Commit 558390b pushed by nspin
June 21, 2024 22:49 12m 32s main
main
June 21, 2024 22:49 12m 32s
Various Nix improvements CI #430: Pull request #153 synchronize by nspin
June 21, 2024 22:13 18m 15s nspin:pr/nix-improvements
nspin:pr/nix-improvements
June 21, 2024 22:13 18m 15s
Various Nix improvements CI #429: Pull request #153 opened by nspin
June 21, 2024 22:13 18m 37s nspin:pr/nix-improvements
nspin:pr/nix-improvements
June 21, 2024 22:13 18m 37s
Improve type names in driver adapters CI #428: Commit f64baaa pushed by nspin
June 19, 2024 08:24 14m 21s main
main
June 19, 2024 08:24 14m 21s
Introduce more driver abstractions CI #427: Pull request #152 opened by nspin
June 19, 2024 06:45 12m 46s nspin:pr/driver-abstractions
nspin:pr/driver-abstractions
June 19, 2024 06:45 12m 46s
Work on incorporating more driver abstractions CI #426: Pull request #151 synchronize by nspin
June 19, 2024 06:38 10m 31s nspin:pr/driver-abstractions
nspin:pr/driver-abstractions
June 19, 2024 06:38 10m 31s
Work on incorporating more driver abstractions CI #425: Pull request #151 synchronize by nspin
June 17, 2024 06:35 12m 29s nspin:pr/driver-abstractions
nspin:pr/driver-abstractions
June 17, 2024 06:35 12m 29s
Work on incorporating more driver abstractions CI #424: Pull request #151 opened by nspin
June 12, 2024 09:17 10m 54s nspin:pr/driver-abstractions
nspin:pr/driver-abstractions
June 12, 2024 09:17 10m 54s
nix: Disable hardening for OpenSBI CI #423: Commit 7cc0691 pushed by nspin
June 11, 2024 06:36 13m 56s main
main
June 11, 2024 06:36 13m 56s