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

Update kernel loader docs CI #222: Commit f77eedd pushed by nspin
January 25, 2024 11:19 17m 45s main
main
January 25, 2024 11:19 17m 45s
Update CapDL initializer and kernel loader docs CI #221: Pull request #70 opened by nspin
January 25, 2024 11:12 17m 54s nspin:pr/update-docs
nspin:pr/update-docs
January 25, 2024 11:12 17m 54s
Bump vulnerable dependency CI #220: Commit db25792 pushed by nspin
January 25, 2024 10:31 55m 47s main
main
January 25, 2024 10:31 55m 47s
Add support for .init_array CI #219: Pull request #69 synchronize by nspin
January 24, 2024 22:55 1h 2m 39s nspin:pr/init-array-support
nspin:pr/init-array-support
January 24, 2024 22:55 1h 2m 39s
Add support for .init_array CI #218: Pull request #69 synchronize by nspin
January 24, 2024 22:15 48m 19s nspin:pr/init-array-support
nspin:pr/init-array-support
January 24, 2024 22:15 48m 19s
Add support for .init_array CI #217: Pull request #69 synchronize by nspin
January 24, 2024 22:15 46m 51s nspin:pr/init-array-support
nspin:pr/init-array-support
January 24, 2024 22:15 46m 51s
Add support for .init_array CI #216: Pull request #69 opened by nspin
January 24, 2024 22:14 58m 1s nspin:pr/init-array-support
nspin:pr/init-array-support
January 24, 2024 22:14 58m 1s
Add UnwindSafe bound to catch_unwind CI #215: Commit c6b62b9 pushed by nspin
January 18, 2024 07:17 16m 52s main
main
January 18, 2024 07:17 16m 52s
Improve core runtime crates CI #214: Pull request #68 synchronize by nspin
January 18, 2024 06:56 16m 9s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 18, 2024 06:56 16m 9s
Improve core runtime crates CI #213: Pull request #68 synchronize by nspin
January 18, 2024 06:21 58m 44s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 18, 2024 06:21 58m 44s
Improve core runtime crates CI #212: Pull request #68 synchronize by nspin
January 17, 2024 08:01 11m 23s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 17, 2024 08:01 11m 23s
Improve core runtime crates CI #211: Pull request #68 synchronize by nspin
January 16, 2024 10:52 1h 11m 40s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 16, 2024 10:52 1h 11m 40s
Improve core runtime crates CI #210: Pull request #68 synchronize by nspin
January 16, 2024 10:32 52m 58s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 16, 2024 10:32 52m 58s
Improve core runtime crates CI #209: Pull request #68 synchronize by nspin
January 16, 2024 10:32 57m 7s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 16, 2024 10:32 57m 7s
Improve core runtime crates CI #208: Pull request #68 opened by nspin
January 15, 2024 09:36 15m 45s nspin:pr/improve-core-runtime-crates
nspin:pr/improve-core-runtime-crates
January 15, 2024 09:36 15m 45s
Improve core runtime crates CI #207: Pull request #67 synchronize by nspin
January 15, 2024 09:15 6h 0m 26s nspin:pr/reduce-dependence-on-sel4
nspin:pr/reduce-dependence-on-sel4
January 15, 2024 09:15 6h 0m 26s
Improve core runtime crates CI #206: Pull request #67 synchronize by nspin
January 13, 2024 07:44 1h 16m 14s nspin:pr/reduce-dependence-on-sel4
nspin:pr/reduce-dependence-on-sel4
January 13, 2024 07:44 1h 16m 14s
Improve core runtime crates CI #205: Pull request #67 opened by nspin
January 12, 2024 10:25 1h 14m 5s nspin:pr/reduce-dependence-on-sel4
nspin:pr/reduce-dependence-on-sel4
January 12, 2024 10:25 1h 14m 5s
Add riscv32imafc target specs CI #203: Commit 629ceb8 pushed by nspin
January 11, 2024 06:57 14m 32s main
main
January 11, 2024 06:57 14m 32s
Add riscv32imafc target specs CI #202: Pull request #65 synchronize by nspin
January 11, 2024 06:38 11m 10s nspin:pr/add-riscv32imafc-target-specs
nspin:pr/add-riscv32imafc-target-specs
January 11, 2024 06:38 11m 10s
Add riscv32imafc target specs CI #201: Pull request #65 opened by nspin
January 11, 2024 06:38 12m 59s nspin:pr/add-riscv32imafc-target-specs
nspin:pr/add-riscv32imafc-target-specs
January 11, 2024 06:38 12m 59s
Remove #![feature(feature)] from CapDL crates CI #200: Commit 6f0e0b5 pushed by nspin
January 11, 2024 01:09 23m 22s main
main
January 11, 2024 01:09 23m 22s
Remove usage unstable never-related features CI #199: Pull request #64 synchronize by nspin
January 11, 2024 00:20 27m 34s nspin:pr/remove-unstable-never-features
nspin:pr/remove-unstable-never-features
January 11, 2024 00:20 27m 34s
Remove usage unstable never-related features CI #198: Pull request #64 opened by nspin
January 11, 2024 00:16 48m 8s nspin:pr/remove-unstable-never-features
nspin:pr/remove-unstable-never-features
January 11, 2024 00:16 48m 8s
Remove unstable macro-related features CI #197: Commit 3d3ff7e pushed by nspin
January 11, 2024 00:13 40m 23s main
main
January 11, 2024 00:13 40m 23s
ProTip! You can narrow down the results and go further in time using created:<2024-01-11 or the other filters available.