Skip to content

Actions: seL4/rust-sel4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yaml
520 workflow runs
520 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modularize Cargo manifest management CI #146: Pull request #46 opened by nspin
November 7, 2023 01:23 16m 15s nspin:pr/modularize-cmm
nspin:pr/modularize-cmm
November 7, 2023 01:23 16m 15s
cmm: Clean up code CI #145: Commit 956e238 pushed by nspin
November 3, 2023 09:45 13m 0s main
main
November 3, 2023 09:45 13m 0s
Further develop and modularize Cargo manifest management CI #144: Pull request #45 opened by nspin
November 3, 2023 09:23 15m 7s nspin:pr/develop-cmm
nspin:pr/develop-cmm
November 3, 2023 09:23 15m 7s
docs: Add note about versions of seL4 and Microkit CI #143: Commit b463f6d pushed by nspin
November 1, 2023 10:36 19m 36s main
main
November 1, 2023 10:36 19m 36s
docs: Add note about versions of seL4 and Microkit CI #142: Pull request #44 synchronize by nspin
November 1, 2023 10:15 15m 17s nspin:pr/compatible-versions-of-sel4-and-microkit
nspin:pr/compatible-versions-of-sel4-and-microkit
November 1, 2023 10:15 15m 17s
docs: Add note about versions of seL4 and Microkit CI #141: Pull request #44 opened by nspin
November 1, 2023 10:14 15m 10s nspin:pr/compatible-versions-of-sel4-and-microkit
nspin:pr/compatible-versions-of-sel4-and-microkit
November 1, 2023 10:14 15m 10s
nix: Add smallDiskImage drv for HTTP server demo CI #140: Commit 4a2e125 pushed by nspin
October 31, 2023 12:31 19m 13s main
main
October 31, 2023 12:31 19m 13s
nix: Add smallDiskImage derivation for HTTP server demo CI #139: Pull request #42 synchronize by nspin
October 31, 2023 12:11 16m 17s nspin:pr/disk-image-for-http-server-demo
nspin:pr/disk-image-for-http-server-demo
October 31, 2023 12:11 16m 17s
Remove dependence on setvar patch for Microkit CI #138: Commit f3bdcdf pushed by nspin
October 31, 2023 12:10 7m 14s main
main
October 31, 2023 12:10 7m 14s
nix: Add smallDiskImage derivation for HTTP server demo CI #137: Pull request #42 synchronize by nspin
October 31, 2023 12:08 15m 2s nspin:pr/disk-image-for-http-server-demo
nspin:pr/disk-image-for-http-server-demo
October 31, 2023 12:08 15m 2s
Remove dependence on setvar patch for Microkit CI #136: Pull request #43 opened by nspin
October 31, 2023 11:33 15m 14s nspin:pr/remove-setvar-patch
nspin:pr/remove-setvar-patch
October 31, 2023 11:33 15m 14s
nix: Add smallDiskImage derivation for HTTP server demo CI #135: Pull request #42 synchronize by nspin
October 31, 2023 11:12 17m 44s nspin:pr/disk-image-for-http-server-demo
nspin:pr/disk-image-for-http-server-demo
October 31, 2023 11:12 17m 44s
nix: Add smallDiskImage derivation for HTTP server demo CI #134: Pull request #42 opened by nspin
October 31, 2023 11:00 7m 22s nspin:pr/disk-image-for-http-server-demo
nspin:pr/disk-image-for-http-server-demo
October 31, 2023 11:00 7m 22s
nix: Bump Microkit CI #133: Commit c55256d pushed by nspin
October 31, 2023 05:41 15m 5s main
main
October 31, 2023 05:41 15m 5s
Bump seL4 and Microkit CI #132: Pull request #41 synchronize by nspin
October 31, 2023 05:04 15m 56s nspin:pr/bump-sel4-and-microkit
nspin:pr/bump-sel4-and-microkit
October 31, 2023 05:04 15m 56s
Bump seL4 and Microkit CI #131: Pull request #41 synchronize by nspin
October 31, 2023 04:23 20m 19s nspin:pr/bump-sel4-and-microkit
nspin:pr/bump-sel4-and-microkit
October 31, 2023 04:23 20m 19s
Bump seL4 and Microkit CI #130: Pull request #41 opened by nspin
October 31, 2023 04:21 17m 53s nspin:pr/bump-sel4-and-microkit
nspin:pr/bump-sel4-and-microkit
October 31, 2023 04:21 17m 53s
Clean up Cargo manifest management CI #129: Commit e9ab2c7 pushed by nspin
October 26, 2023 00:54 18m 58s main
main
October 26, 2023 00:54 18m 58s
Clean up Cargo manifest management CI #128: Pull request #39 synchronize by nspin
October 26, 2023 00:10 23m 48s nspin:pr/cargo-manifest-management-cleanup
nspin:pr/cargo-manifest-management-cleanup
October 26, 2023 00:10 23m 48s
Clean up Cargo manifest management CI #127: Pull request #39 opened by nspin
October 26, 2023 00:10 17m 27s nspin:pr/cargo-manifest-management-cleanup
nspin:pr/cargo-manifest-management-cleanup
October 26, 2023 00:10 17m 27s
Rework Cargo manifest management tool CI #126: Commit 5bc2b36 pushed by nspin
October 24, 2023 19:44 15m 58s main
main
October 24, 2023 19:44 15m 58s
Rework Cargo manifest management again CI #125: Pull request #38 opened by nspin
October 24, 2023 19:24 15m 27s nspin:pr/rework-cargo-manifest-generation-2
nspin:pr/rework-cargo-manifest-generation-2
October 24, 2023 19:24 15m 27s
Simplify Cargo manifest generation Nix tool CI #124: Commit 25cb174 pushed by nspin
October 24, 2023 12:18 17m 29s main
main
October 24, 2023 12:18 17m 29s
General trivial clean up CI #123: Pull request #37 synchronize by nspin
October 24, 2023 11:35 13m 39s nspin:pr/general-cleanup
nspin:pr/general-cleanup
October 24, 2023 11:35 13m 39s
General trivial clean up CI #122: Pull request #37 synchronize by nspin
October 24, 2023 11:00 7m 59s nspin:pr/general-cleanup
nspin:pr/general-cleanup
October 24, 2023 11:00 7m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.