Skip to content

Actions: seL4/rust-root-task-demo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add target/ to .gitignore CI #18: Commit bc93849 pushed by nspin
September 19, 2024 06:06 3m 46s main
main
September 19, 2024 06:06 3m 46s
Use dev container CI #17: Pull request #9 synchronize by nspin
September 19, 2024 06:01 3m 34s nspin:pr/dev-container
nspin:pr/dev-container
September 19, 2024 06:01 3m 34s
Use dev container CI #16: Pull request #9 opened by nspin
September 19, 2024 05:52 3m 41s nspin:pr/dev-container
nspin:pr/dev-container
September 19, 2024 05:52 3m 41s
Bump rust-sel4 CI #15: Commit 3468093 pushed by nspin
July 2, 2024 01:38 3m 39s main
main
July 2, 2024 01:38 3m 39s
Bump rust-sel4 CI #14: Pull request #8 opened by nspin
July 2, 2024 01:33 3m 51s nspin:pr/bump-rust-sel4
nspin:pr/bump-rust-sel4
July 2, 2024 01:33 3m 51s
Bump everything CI #13: Commit 744d8bc pushed by nspin
July 1, 2024 23:02 3m 40s main
main
July 1, 2024 23:02 3m 40s
Bump everything CI #12: Pull request #7 opened by nspin
July 1, 2024 22:39 3m 37s nspin:pr/bump-everything
nspin:pr/bump-everything
July 1, 2024 22:39 3m 37s
Improve Dockerfile and update dependencies CI #11: Commit 08a320c pushed by nspin
May 2, 2024 07:11 3m 40s main
main
May 2, 2024 07:11 3m 40s
Improve Dockerfile and update dependencies CI #10: Pull request #6 synchronize by nspin
May 2, 2024 07:00 4m 2s nspin:pr/improve-dockerfile
nspin:pr/improve-dockerfile
May 2, 2024 07:00 4m 2s
Improve Dockerfile and update dependencies CI #9: Pull request #6 synchronize by nspin
May 2, 2024 06:55 3m 40s nspin:pr/improve-dockerfile
nspin:pr/improve-dockerfile
May 2, 2024 06:55 3m 40s
Improve Dockerfile and update dependencies CI #8: Pull request #6 opened by nspin
May 2, 2024 06:49 4m 0s nspin:pr/improve-dockerfile
nspin:pr/improve-dockerfile
May 2, 2024 06:49 4m 0s
docker: Don't add user or group if they already exist CI #7: Commit ccbecf7 pushed by nspin
April 22, 2024 06:34 3m 57s main
main
April 22, 2024 06:34 3m 57s
docker: Don't add user or group if they already exist CI #6: Pull request #5 opened by nspin
April 22, 2024 06:30 3m 38s nspin:pr/fix-dockerfile-user-group-creation
nspin:pr/fix-dockerfile-user-group-creation
April 22, 2024 06:30 3m 38s
Bump everything and minimize kernel configuration CI #5: Commit 6ecd04f pushed by nspin
April 21, 2024 22:55 3m 39s main
main
April 21, 2024 22:55 3m 39s
Bump everything and minimize kernel configuration CI #4: Pull request #4 opened by nspin
April 21, 2024 22:41 3m 44s nspin:pr/update
nspin:pr/update
April 21, 2024 22:41 3m 44s
CI CI #3: Manually run by nspin
January 29, 2024 10:11 3m 54s main
main
January 29, 2024 10:11 3m 54s
Bump everything CI #2: Commit 56d09c5 pushed by nspin
January 29, 2024 10:11 4m 19s main
main
January 29, 2024 10:11 4m 19s
CI CI #1: Manually run by nspin
January 29, 2024 10:11 34s main
main
January 29, 2024 10:11 34s