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

nix: Allow for more precision in sysroot config CI #372: Commit f34cfa6 pushed by nspin
April 22, 2024 08:03 9m 57s main
main
April 22, 2024 08:03 9m 57s
trivial: Improve style CI #371: Pull request #130 opened by nspin
April 22, 2024 07:40 9m 37s nspin:pr/improve-style
nspin:pr/improve-style
April 22, 2024 07:40 9m 37s
nix: Allow for more precision in sysroot config CI #370: Pull request #129 opened by nspin
April 22, 2024 07:39 10m 25s nspin:pr/sysroot-config-precision
nspin:pr/sysroot-config-precision
April 22, 2024 07:39 10m 25s
nix: Bump dependencies CI #369: Commit a20aab1 pushed by nspin
April 21, 2024 07:02 11m 34s main
main
April 21, 2024 07:02 11m 34s
nix: Bump dependencies CI #368: Pull request #127 opened by nspin
April 21, 2024 05:53 13m 12s nspin:pr/bump-dependencies
nspin:pr/bump-dependencies
April 21, 2024 05:53 13m 12s
nix: Add build test CI #367: Commit 1378b30 pushed by nspin
April 20, 2024 08:20 10m 31s main
main
April 20, 2024 08:20 10m 31s
nix: Add build test for CapDL initializer with MCS CI #366: Pull request #125 opened by nspin
April 20, 2024 08:08 11m 22s nspin:pr/mcs-build-test
nspin:pr/mcs-build-test
April 20, 2024 08:08 11m 22s
Use upstream rustls CI #365: Commit d4895c7 pushed by nspin
April 20, 2024 07:40 12m 53s main
main
April 20, 2024 07:40 12m 53s
Use upstream rustls CI #364: Pull request #124 synchronize by nspin
April 20, 2024 00:49 15m 10s nspin:pr/use-upstream-rustls
nspin:pr/use-upstream-rustls
April 20, 2024 00:49 15m 10s
nix: Test building for more configurations CI #363: Commit 09e5b67 pushed by nspin
April 20, 2024 00:49 13m 1s main
main
April 20, 2024 00:49 13m 1s
Use upstream rustls CI #362: Pull request #124 synchronize by nspin
April 20, 2024 00:43 18m 5s nspin:pr/use-upstream-rustls
nspin:pr/use-upstream-rustls
April 20, 2024 00:43 18m 5s
Use upstream rustls CI #361: Pull request #124 opened by nspin
April 20, 2024 00:43 14m 22s nspin:pr/use-upstream-rustls
nspin:pr/use-upstream-rustls
April 20, 2024 00:43 14m 22s
Support and test more configurations CI #360: Pull request #123 opened by nspin
April 20, 2024 00:31 9m 58s nspin:pr/support-more-configurations
nspin:pr/support-more-configurations
April 20, 2024 00:31 9m 58s
Update ring dependency CI #359: Commit b212a56 pushed by nspin
April 16, 2024 23:15 14m 40s main
main
April 16, 2024 23:15 14m 40s
Update ring dependency CI #358: Pull request #122 synchronize by nspin
April 16, 2024 22:43 12m 28s nspin:pr/update-ring-dependency
nspin:pr/update-ring-dependency
April 16, 2024 22:43 12m 28s
Update ring dependency CI #357: Pull request #122 synchronize by nspin
April 16, 2024 22:43 12m 5s nspin:pr/update-ring-dependency
nspin:pr/update-ring-dependency
April 16, 2024 22:43 12m 5s
Update ring dependency CI #356: Pull request #122 opened by nspin
April 16, 2024 22:21 14m 32s nspin:pr/update-ring-dependency
nspin:pr/update-ring-dependency
April 16, 2024 22:21 14m 32s
Fix release mode warnings and compile errors CI #355: Pull request #121 synchronize by Ivan-Velickovic
April 3, 2024 04:19 1h 33m 4s Ivan-Velickovic:release_mode
Ivan-Velickovic:release_mode
April 3, 2024 04:19 1h 33m 4s
Fix release mode warnings and compile errors CI #354: Pull request #121 synchronize by Ivan-Velickovic
April 3, 2024 04:18 13m 58s Ivan-Velickovic:release_mode
Ivan-Velickovic:release_mode
April 3, 2024 04:18 13m 58s
Fix release mode warnings and compile errors CI #353: Pull request #121 opened by Ivan-Velickovic
April 3, 2024 04:03 41m 8s Ivan-Velickovic:release_mode
Ivan-Velickovic:release_mode
April 3, 2024 04:03 41m 8s
Rebase ring branch CI #352: Commit 671c731 pushed by nspin
March 30, 2024 10:28 10m 36s main
main
March 30, 2024 10:28 10m 36s
Bump rustls and rebase ring CI #351: Pull request #120 opened by nspin
March 30, 2024 10:18 9m 24s nspin:pr/bump-rustls
nspin:pr/bump-rustls
March 30, 2024 10:18 9m 24s
cmm: Bump fdt CI #350: Commit eecd91b pushed by nspin
March 21, 2024 00:14 16m 9s main
main
March 21, 2024 00:14 16m 9s
Add serial device example CI #349: Pull request #119 synchronize by nspin
March 20, 2024 22:00 15m 51s nspin:pr/serial-device-example
nspin:pr/serial-device-example
March 20, 2024 22:00 15m 51s
Add serial device example CI #348: Pull request #119 synchronize by nspin
March 20, 2024 06:49 10m 40s nspin:pr/serial-device-example
nspin:pr/serial-device-example
March 20, 2024 06:49 10m 40s