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
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
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
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
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
July 2, 2024 01:33 3m 51s
Bump everything
CI #13: Commit 744d8bc pushed by nspin
July 1, 2024 23:02 3m 40s 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
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
May 2, 2024 07:11 3m 40s
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
April 22, 2024 06:34 3m 57s
Bump everything and minimize kernel configuration
CI #5: Commit 6ecd04f pushed by nspin
April 21, 2024 22:55 3m 39s 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
April 21, 2024 22:41 3m 44s
CI
CI #3: Manually run by nspin
January 29, 2024 10:11 3m 54s 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
January 29, 2024 10:11 4m 19s
CI
CI #1: Manually run by nspin
January 29, 2024 10:11 34s main
January 29, 2024 10:11 34s