Skip to content

Actions: seL4/rust-microkit-http-server-demo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump everything CI #40: Commit 3050f52 pushed by nspin
July 2, 2024 03:01 9m 57s main
main
July 2, 2024 03:01 9m 57s
Bump everything CI #39: Pull request #14 opened by nspin
July 2, 2024 01:38 9m 46s nspin:pr/bump-everything
nspin:pr/bump-everything
July 2, 2024 01:38 9m 46s
Improve Dockerfile and update dependencies CI #38: Commit 3eeab14 pushed by nspin
May 2, 2024 08:53 12m 30s main
main
May 2, 2024 08:53 12m 30s
Improve Dockerfile and update dependencies CI #37: Pull request #13 synchronize by nspin
May 2, 2024 08:26 12m 50s nspin:pr/improve-dockerfile
nspin:pr/improve-dockerfile
May 2, 2024 08:26 12m 50s
Improve Dockerfile and update dependencies CI #36: Pull request #13 synchronize by nspin
May 2, 2024 08:26 12m 46s nspin:pr/improve-dockerfile
nspin:pr/improve-dockerfile
May 2, 2024 08:26 12m 46s
Improve Dockerfile and update dependencies CI #35: Pull request #13 synchronize by nspin
May 2, 2024 08:05 12m 52s nspin:pr/improve-dockerfile
nspin:pr/improve-dockerfile
May 2, 2024 08:05 12m 52s
Improve Dockerfile and update dependencies CI #34: Pull request #13 opened by nspin
May 2, 2024 07:26 11m 12s nspin:pr/improve-dockerfile
nspin:pr/improve-dockerfile
May 2, 2024 07:26 11m 12s
Remove old target spec CI #33: Commit 4c3b6fe pushed by nspin
April 22, 2024 09:22 15m 44s main
main
April 22, 2024 09:22 15m 44s
Remove old target spec CI #32: Pull request #12 opened by nspin
April 22, 2024 09:04 15m 28s nspin:pr/rm-old-target-file
nspin:pr/rm-old-target-file
April 22, 2024 09:04 15m 28s
Update everything CI #31: Commit b1e5f03 pushed by nspin
April 22, 2024 02:20 15m 52s main
main
April 22, 2024 02:20 15m 52s
Update everything CI #30: Pull request #11 opened by nspin
April 22, 2024 02:00 16m 19s nspin:pr/update
nspin:pr/update
April 22, 2024 02:00 16m 19s
Adapt after running update.sh CI #29: Commit 929c51f pushed by nspin
February 5, 2024 12:39 16m 18s main
main
February 5, 2024 12:39 16m 18s
Update with changes in rust-sel4 repo CI #28: Pull request #10 synchronize by nspin
February 5, 2024 12:22 16m 30s nspin:pr/update
nspin:pr/update
February 5, 2024 12:22 16m 30s
Update with changes in rust-sel4 repo CI #27: Pull request #10 opened by nspin
February 5, 2024 12:22 16m 17s nspin:pr/update
nspin:pr/update
February 5, 2024 12:22 16m 17s
docker: Don't add user or group if they already exist CI #26: Commit fff7558 pushed by nspin
November 26, 2023 09:43 17m 22s main
main
November 26, 2023 09:43 17m 22s
docker: Don't add user or group if they already exist CI #25: Pull request #8 opened by nspin
November 25, 2023 21:28 17m 10s nspin:pr/fix-dockerfile-user-group-creation
nspin:pr/fix-dockerfile-user-group-creation
November 25, 2023 21:28 17m 10s
Update rust-seL4 CI #24: Commit 9634ba2 pushed by nspin
October 31, 2023 13:05 26m 46s main
main
October 31, 2023 13:05 26m 46s
Achieve REUSE compliance and update rust-seL4 CI #23: Pull request #7 synchronize by nspin
October 31, 2023 12:33 31m 25s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 31, 2023 12:33 31m 25s
Achieve REUSE compliance and update rust-seL4 CI #22: Pull request #7 synchronize by nspin
October 31, 2023 11:19 24m 14s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 31, 2023 11:19 24m 14s
Achieve REUSE compliance and update rust-seL4 CI #21: Pull request #7 synchronize by nspin
October 31, 2023 11:07 23m 53s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 31, 2023 11:07 23m 53s
Achieve REUSE compliance and update rust-seL4 CI #20: Pull request #7 opened by nspin
October 31, 2023 10:21 29m 30s nspin:pr/reuse-compliance
nspin:pr/reuse-compliance
October 31, 2023 10:21 29m 30s