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

Introduce cargo-audit into CI CI #71: Pull request #22 synchronize by nspin
October 3, 2023 08:33 8m 32s nspin:pr/cargo-audit
nspin:pr/cargo-audit
October 3, 2023 08:33 8m 32s
Introduce cargo-audit into CI CI #70: Pull request #22 synchronize by nspin
October 3, 2023 01:47 28m 20s nspin:pr/cargo-audit
nspin:pr/cargo-audit
October 3, 2023 01:47 28m 20s
Introduce cargo-audit into CI CI #69: Pull request #22 synchronize by nspin
October 3, 2023 01:29 5m 26s nspin:pr/cargo-audit
nspin:pr/cargo-audit
October 3, 2023 01:29 5m 26s
Introduce cargo-audit into CI CI #68: Pull request #22 synchronize by nspin
October 3, 2023 00:50 38m 30s nspin:pr/cargo-audit
nspin:pr/cargo-audit
October 3, 2023 00:50 38m 30s
Introduce cargo-audit into CI CI #67: Pull request #22 opened by nspin
October 3, 2023 00:49 31m 24s nspin:pr/cargo-audit
nspin:pr/cargo-audit
October 3, 2023 00:49 31m 24s
crates/sel4-one-ref-cell: Introduce CI #66: Commit 7a94253 pushed by nspin
October 2, 2023 09:38 42m 1s main
main
October 2, 2023 09:38 42m 1s
Introduce sel4-one-ref-cell crate CI #65: Pull request #20 synchronize by nspin
October 2, 2023 08:47 44m 36s nspin:pr/one-ref-cell
nspin:pr/one-ref-cell
October 2, 2023 08:47 44m 36s
Clean up HTTP server example CI #64: Commit 17dad86 pushed by nspin
October 2, 2023 08:45 42m 15s main
main
October 2, 2023 08:45 42m 15s
Add support for block IO with block sizes which are not known at compile-time CI #63: Pull request #21 opened by nspin
October 2, 2023 07:25 41m 44s nspin:pr/dynamic-block-size
nspin:pr/dynamic-block-size
October 2, 2023 07:25 41m 44s
Introduce sel4-one-ref-cell crate CI #62: Pull request #20 opened by nspin
October 2, 2023 07:14 45m 2s nspin:pr/one-ref-cell
nspin:pr/one-ref-cell
October 2, 2023 07:14 45m 2s
Expand block IO support CI #61: Commit 8722e33 pushed by nspin
September 29, 2023 23:33 46m 37s main
main
September 29, 2023 23:33 46m 37s
Change URL of mbedtls repository CI #60: Commit 53e88b5 pushed by nspin
September 29, 2023 23:33 39m 20s main
main
September 29, 2023 23:33 39m 20s
Change URL of mbedtls repository CI #59: Pull request #18 synchronize by nspin
September 29, 2023 22:37 26m 30s nspin:pr/update-mbedtls-url
nspin:pr/update-mbedtls-url
September 29, 2023 22:37 26m 30s
Expand block IO support CI #58: Pull request #19 synchronize by nspin
September 29, 2023 22:37 30m 36s nspin:pr/more-block-io
nspin:pr/more-block-io
September 29, 2023 22:37 30m 36s
Expand block IO support CI #57: Pull request #19 opened by nspin
September 29, 2023 22:36 28m 37s nspin:pr/more-block-io
nspin:pr/more-block-io
September 29, 2023 22:36 28m 37s
Change URL of mbedtls repository CI #56: Pull request #18 opened by nspin
September 29, 2023 22:34 27m 27s nspin:pr/update-mbedtls-url
nspin:pr/update-mbedtls-url
September 29, 2023 22:34 27m 27s
crates/sel4-capdl-initializer: Improve consistency in type variables CI #55: Commit fbc5848 pushed by nspin
September 23, 2023 09:54 30m 22s main
main
September 23, 2023 09:54 30m 22s
Progress on sel4 crate CI #54: Pull request #15 opened by nspin
September 23, 2023 09:17 29m 22s nspin:pr/progress-sel4-crate
nspin:pr/progress-sel4-crate
September 23, 2023 09:17 29m 22s
nix: Remove unused nix.meta attributes from crates CI #53: Commit e9fea3c pushed by nspin
September 23, 2023 09:15 10m 27s main
main
September 23, 2023 09:15 10m 27s
Rename sel4-reserve-tls-on-stack -> sel4-initialize-tls-on-stack CI #52: Commit 24e1225 pushed by nspin
September 23, 2023 09:15 10m 59s main
main
September 23, 2023 09:15 10m 59s
nix: Clean up CI #51: Pull request #14 opened by nspin
September 23, 2023 09:14 11m 9s nspin:pr/clean-up-nix
nspin:pr/clean-up-nix
September 23, 2023 09:14 11m 9s
Rename sel4-reserve-tls-on-stack -> sel4-initialize-tls-on-stack CI #50: Pull request #13 synchronize by nspin
September 23, 2023 09:12 17m 33s nspin:pr/rename-init-tls
nspin:pr/rename-init-tls
September 23, 2023 09:12 17m 33s
Rename sel4-reserve-tls-on-stack -> sel4-initialize-tls-on-stack CI #49: Pull request #13 opened by nspin
September 23, 2023 09:12 13m 29s nspin:pr/rename-init-tls
nspin:pr/rename-init-tls
September 23, 2023 09:12 13m 29s
crates/examples: Improve hello world examples CI #48: Commit bd7380c pushed by nspin
September 18, 2023 06:24 38m 15s main
main
September 18, 2023 06:24 38m 15s
Improve hello world examples CI #47: Pull request #12 opened by nspin
September 18, 2023 05:06 27m 5s nspin:pr/improve-hello-examples
nspin:pr/improve-hello-examples
September 18, 2023 05:06 27m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.