Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
523 workflow runs
523 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test PR CI #46: Pull request #11 opened by nspin
September 17, 2023 22:04 32m 13s nspin:pr/test-pr
nspin:pr/test-pr
September 17, 2023 22:04 32m 13s
Add .github/CODEOWNERS CI #45: Commit a51a468 pushed by nspin
September 17, 2023 22:03 36m 31s main
main
September 17, 2023 22:03 36m 31s
Add .github/CODEOWNERS CI #44: Pull request #10 opened by nspin
September 17, 2023 22:02 26m 36s nspin:pr/code-owners
nspin:pr/code-owners
September 17, 2023 22:02 26m 36s
github: add foundation templates CI #43: Commit b4f57a1 pushed by nspin
September 17, 2023 21:56 45m 39s main
main
September 17, 2023 21:56 45m 39s
github: add foundation templates CI #42: Pull request #9 opened by lsf37
September 17, 2023 13:18 30m 53s foundation-templates
foundation-templates
September 17, 2023 13:18 30m 53s
Update links to demos CI #41: Commit 9576eb8 pushed by nspin
September 15, 2023 23:14 40m 33s main
main
September 15, 2023 23:14 40m 33s
Update links to demos CI #40: Pull request #8 opened by nspin
September 15, 2023 22:34 38m 41s nspin:pr/update-demo-links
nspin:pr/update-demo-links
September 15, 2023 22:34 38m 41s
crates/sel4-microkit: Fix link to demo CI #39: Commit f8c70a7 pushed by nspin
September 15, 2023 09:56 42m 20s main
main
September 15, 2023 09:56 42m 20s
Update links to this repo itself CI #38: Pull request #7 synchronize by nspin
September 14, 2023 22:19 53m 17s nspin:pr/update-links
nspin:pr/update-links
September 14, 2023 22:19 53m 17s
Update links to this repo itself CI #37: Pull request #7 opened by nspin
September 14, 2023 22:17 45m 5s nspin:pr/update-links
nspin:pr/update-links
September 14, 2023 22:17 45m 5s
crates/private/meta: Fix link in rustdoc CI #36: Commit c88aeb6 pushed by nspin
September 14, 2023 10:09 1h 5m 1s main
main
September 14, 2023 10:09 1h 5m 1s
Change case in repo name CI #35: Commit 1d356ba pushed by nspin
September 14, 2023 10:04 48m 16s main
main
September 14, 2023 10:04 48m 16s
Update demo URLs CI #34: Commit 939acd4 pushed by nspin
September 14, 2023 08:51 49m 34s main
main
September 14, 2023 08:51 49m 34s
Propagate upstream renaming of sel4cp -> microkit CI #33: Commit a07a865 pushed by nspin
September 14, 2023 08:39 29m 52s main
main
September 14, 2023 08:39 29m 52s
Minor fix in README CI #32: Commit 5772fb6 pushed by nspin
September 14, 2023 06:25 37m 27s main
main
September 14, 2023 06:25 37m 27s
Minor fix in README CI #31: Pull request #6 opened by Ivan-Velickovic
September 14, 2023 00:48 33m 7s Ivan-Velickovic:minor_readme_fix
Ivan-Velickovic:minor_readme_fix
September 14, 2023 00:48 33m 7s
crates/sel4/sys: Add support for aarch32 CI #30: Commit 8d2c123 pushed by nspin
September 13, 2023 08:02 36m 32s main
main
September 13, 2023 08:02 36m 32s
crates/sel4-kernel-loader: Add SMP support for RISC-V CI #29: Commit 6345385 pushed by nspin
September 12, 2023 13:04 29m 24s main
main
September 12, 2023 13:04 29m 24s
nix: Increase sel4test timeout CI #28: Commit 9be8c29 pushed by nspin
September 12, 2023 02:33 25m 9s main
main
September 12, 2023 02:33 25m 9s
Extend support for riscv32 beyond sel4-sys CI #27: Commit 4fa7fb5 pushed by nspin
September 12, 2023 01:27 14m 12s main
main
September 12, 2023 01:27 14m 12s
nix: Add riscv64-root-task docs view CI #26: Commit 3fe879a pushed by nspin
September 8, 2023 22:02 24m 56s main
main
September 8, 2023 22:02 24m 56s
Improve assembly style throughout CI #25: Commit af42145 pushed by nspin
September 5, 2023 23:30 23m 54s main
main
September 5, 2023 23:30 23m 54s
crates/examples/sel4cp/http-server: Move mime logic into own module CI #24: Commit 2c70165 pushed by nspin
August 31, 2023 03:51 27m 29s main
main
August 31, 2023 03:51 27m 29s
crates/sel4cp: Rework message API CI #23: Commit b5b5432 pushed by nspin
August 30, 2023 22:22 21m 2s main
main
August 30, 2023 22:22 21m 2s
crates/private/meta: Add sel4cp_message* to aggregate rustdoc CI #22: Commit 40ed49f pushed by nspin
August 28, 2023 05:30 38m 29s main
main
August 28, 2023 05:30 38m 29s
ProTip! You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.