Skip to content

Actions: seL4/seL4-rust-tutorial

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yaml
31 workflow runs
31 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 CI #30: Pull request #7 synchronize by nspin
21m 16s nspin:pr/update
nspin:pr/update
21m 16s
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 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 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 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 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
Changes hashes to links in introduction CI #12: Pull request #1 opened by lsf37
21m 5s lsf37:lsf37/link-fixes
lsf37:lsf37/link-fixes
21m 5s
Update code submodule CI #11: Commit c3111ff pushed by nspin
20m 51s main
main
20m 51s
Remove extraneous page CI #10: Commit 97ac38e pushed by nspin
21m 6s main
main
21m 6s
Update links CI #9: Commit d5db3df pushed by nspin
20m 33s main
main
20m 33s
Reword intro CI #8: Commit 8431e78 pushed by nspin
28m 26s main
main
28m 26s
Convert from training to tutorial CI #7: Commit 4af845e pushed by nspin
27m 49s main
main
27m 49s