Skip to content

Actions: seL4/seL4-rust-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update code for release CI #31: Commit a4b9cf0 pushed by nspin
21m 54s main
main
21m 54s
Update code submodule for release PR #6: Pull request #7 synchronize by nspin
49s nspin:pr/update
nspin:pr/update
49s
Update code submodule for release CI #30: Pull request #7 synchronize by nspin
21m 16s nspin:pr/update
nspin:pr/update
21m 16s
Update code submodule for release PR #5: Pull request #7 opened by nspin
1m 3s nspin:pr/update
nspin:pr/update
1m 3s
Update code submodule for release CI #29: Pull request #7 opened by nspin
2m 53s nspin:pr/update
nspin:pr/update
2m 53s
Remove ineffective syntax label CI #28: Commit 5ad6c56 pushed by nspin
21m 8s main
main
21m 8s
Use html5validator CI #27: Pull request #6 opened by nspin
20m 41s nspin:pr/introduce-html5validator
nspin:pr/introduce-html5validator
20m 41s
Use html5validator PR #4: Pull request #6 opened by nspin
49s nspin:pr/introduce-html5validator
nspin:pr/introduce-html5validator
49s
Use actions from seL4/ci-actions CI #26: Commit 4ed936a pushed by nspin
21m 0s main
main
21m 0s
Update links and CI after moving to repos seL4 org PR #3: Pull request #5 synchronize by nspin
55s nspin:pr/update-links-after-move
nspin:pr/update-links-after-move
55s
Update links and CI after moving to repos seL4 org CI #25: Pull request #5 synchronize by nspin
20m 56s nspin:pr/update-links-after-move
nspin:pr/update-links-after-move
20m 56s
Update links and CI after moving to repos seL4 org PR #2: Pull request #5 synchronize by nspin
2m 58s nspin:pr/update-links-after-move
nspin:pr/update-links-after-move
2m 58s
Update links and CI after moving to repos seL4 org CI #24: Pull request #5 synchronize by nspin
20m 49s nspin:pr/update-links-after-move
nspin:pr/update-links-after-move
20m 49s
Update links and CI after moving to repos seL4 org CI #23: Pull request #5 synchronize by nspin
1s nspin:pr/update-links-after-move
nspin:pr/update-links-after-move
1s
Update links and CI after moving to repos seL4 org PR #1: Pull request #5 synchronize by nspin
1m 46s nspin:pr/update-links-after-move
nspin:pr/update-links-after-move
1m 46s
Update links and CI after moving to repos seL4 org CI #22: Pull request #5 opened by nspin
20m 51s nspin:pr/update-links-after-move
nspin:pr/update-links-after-move
20m 51s
Add missing copyright header CI #21: Commit 5bfcae2 pushed by nspin
20m 33s main
main
20m 33s
Fix dep5 CI #20: Commit 22967a0 pushed by nspin
26s main
main
26s
CI CI #19: Manually run by nspin
42s x
x
42s
CI CI #18: Manually run by nspin
5m 49s x
x
5m 49s
Set output.html.site-url CI #17: Commit c64df33 pushed by nspin
20m 50s main
main
20m 50s
Fix assemble target CI #16: Commit 6d63109 pushed by nspin
21m 4s main
main
21m 4s
CI CI #15: Manually run by nspin
20m 43s x
x
20m 43s
CI CI #14: Manually run by nspin
20m 32s x
x
20m 32s
Changes hashes to links in introduction CI #13: Commit 6eca4e2 pushed by nspin
21m 8s main
main
21m 8s