Skip to content

Actions: seL4/rust-sel4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yaml
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hardware debug config support CI #774: Pull request #320 synchronize by Kswin01
11m 0s au-ts:hardware_debug
au-ts:hardware_debug
11m 0s
Hardware debug config support CI #773: Pull request #320 synchronize by Kswin01
11m 3s au-ts:hardware_debug
au-ts:hardware_debug
11m 3s
Hardware debug config support CI #772: Pull request #320 opened by Kswin01
12m 9s au-ts:hardware_debug
au-ts:hardware_debug
12m 9s
sel4: add seL4_X86_EPT_VMAttributes enum CI #771: Pull request #317 synchronize by dreamliner787-9
52m 6s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
52m 6s
sel4: add seL4_X86_EPT_VMAttributes enum CI #770: Pull request #317 synchronize by dreamliner787-9
11m 17s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
11m 17s
sel4: add seL4_X86_EPT_VMAttributes enum CI #769: Pull request #317 synchronize by dreamliner787-9
10m 45s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
10m 45s
sel4: add seL4_X86_EPT_VMAttributes enum CI #768: Pull request #317 synchronize by Ivan-Velickovic
13m 12s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
13m 12s
Szymon/odroidc2 support for rust-sel4 kernel-loader CI #767: Pull request #318 opened by Willmish
Action required au-ts:szymon/odroidc2-support
au-ts:szymon/odroidc2-support
Action required
sel4: add seL4_X86_EPT_VMAttributes enum CI #766: Pull request #317 opened by Ivan-Velickovic
2m 20s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
2m 20s
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
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
Release 3.0.0 CI #761: Commit 2c97867 pushed by nspin
15m 38s main
main
15m 38s
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 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
nix: Fix microkit source comment CI #755: Commit 9218484 pushed by nspin
15m 38s main
main
15m 38s
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 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 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
Make CapDL initializer logging configurable via "spec" CI #749: Pull request #310 synchronize by nspin
37m 55s nspin:pr/capdl-logging
nspin:pr/capdl-logging
37m 55s