Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for FPU flags for PDs CI #765: Pull request #316 synchronize by JDuchniewicz
Action required JDuchniewicz:fpu_flag
JDuchniewicz:fpu_flag
Action required
Add support for FPU flags for PDs PR #122: Pull request #316 synchronize by JDuchniewicz
Action required JDuchniewicz:fpu_flag
JDuchniewicz:fpu_flag
Action required
Add support for FPU flags for PDs CI #764: Pull request #316 opened by JDuchniewicz
11m 2s JDuchniewicz:fpu_flag
JDuchniewicz:fpu_flag
11m 2s
Add support for FPU flags for PDs PR #121: Pull request #316 opened by JDuchniewicz
56s JDuchniewicz:fpu_flag
JDuchniewicz:fpu_flag
56s
Update VERSION file to 3.0.0-dev CI #763: Commit 3059c2d pushed by nspin
17m 6s main
main
17m 6s
Update VERSION file to 3.0.0-dev CI #762: Pull request #315 opened by nspin
14m 38s nspin:pr/version-dev
nspin:pr/version-dev
14m 38s
Update VERSION file to 3.0.0-dev PR #120: Pull request #315 opened by nspin
51s nspin:pr/version-dev
nspin:pr/version-dev
51s
Release 3.0.0 CI #761: Commit 2c97867 pushed by nspin
15m 38s main
main
15m 38s
Release 3.0.0 PR #119: Pull request #314 opened by nspin
1m 0s nspin:pr/release-3.0.0
nspin:pr/release-3.0.0
1m 0s
Release 3.0.0 CI #760: Pull request #314 opened by nspin
17m 9s nspin:pr/release-3.0.0
nspin:pr/release-3.0.0
17m 9s
Use release versions of seL4 and Microkit CI #759: Commit dfabc3a pushed by nspin
20m 17s main
main
20m 17s
Use new release versions of seL4 and Microkit PR #118: Pull request #313 opened by nspin
52s nspin:pr/use-release-versions-of-deps
nspin:pr/use-release-versions-of-deps
52s
Use new release versions of seL4 and Microkit CI #758: Pull request #313 opened by nspin
37m 32s nspin:pr/use-release-versions-of-deps
nspin:pr/use-release-versions-of-deps
37m 32s
sddf: Add device class module stubs CI #757: Commit 027e3eb pushed by nspin
19m 2s main
main
19m 2s
Remove pure-Rust sDDF bindings, begin link-level bindings CI #756: Pull request #296 synchronize by nspin
16m 30s nspin:pr/sddf-fresh-start
nspin:pr/sddf-fresh-start
16m 30s
Remove pure-Rust sDDF bindings, begin link-level bindings PR #117: Pull request #296 synchronize by nspin
58s nspin:pr/sddf-fresh-start
nspin:pr/sddf-fresh-start
58s
nix: Fix microkit source comment CI #755: Commit 9218484 pushed by nspin
15m 38s main
main
15m 38s
nix: Use upstream seL4 PR #116: Pull request #312 opened by nspin
1m 9s nspin:pr/nix-upstream-sel4
nspin:pr/nix-upstream-sel4
1m 9s
nix: Use upstream seL4 CI #754: Pull request #312 opened by nspin
31m 45s nspin:pr/nix-upstream-sel4
nspin:pr/nix-upstream-sel4
31m 45s
trivial: Fix style CI #753: Commit dbbc90c pushed by nspin
29m 20s main
main
29m 20s
Bump seL4 and Microkit to HEAD PR #115: Pull request #311 synchronize by nspin
51s nspin:pr/bump-sel4-ukit-to-head
nspin:pr/bump-sel4-ukit-to-head
51s
Bump seL4 and Microkit to HEAD CI #752: Pull request #311 synchronize by nspin
31m 59s nspin:pr/bump-sel4-ukit-to-head
nspin:pr/bump-sel4-ukit-to-head
31m 59s
Bump seL4 and Microkit to HEAD PR #114: Pull request #311 opened by nspin
50s nspin:pr/bump-sel4-ukit-to-head
nspin:pr/bump-sel4-ukit-to-head
50s
Bump seL4 and Microkit to HEAD CI #751: Pull request #311 opened by nspin
20m 37s nspin:pr/bump-sel4-ukit-to-head
nspin:pr/bump-sel4-ukit-to-head
20m 37s
capdl: Make quieter after starting threads CI #750: Commit 0ac1c27 pushed by nspin
25m 9s main
main
25m 9s