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

Add support for x86 MSI and IOAPIC IRQs CI #272: Pull request #96 opened by Ivan-Velickovic
February 20, 2024 00:43 9m 17s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 20, 2024 00:43 9m 17s
crates/sel4-capdl-initializer: Fix build for MCS CI #271: Commit d3341ea pushed by nspin
February 19, 2024 10:17 18m 9s main
main
February 19, 2024 10:17 18m 9s
Fix CapDL initializer on MCS after changes to sel4 crate CI #270: Pull request #95 opened by nspin
February 18, 2024 09:46 11m 18s nspin:pr/capdl-initializer-mcs
nspin:pr/capdl-initializer-mcs
February 18, 2024 09:46 11m 18s
ci: Bump remote action versions CI #269: Commit 68b9ee6 pushed by nspin
February 15, 2024 08:48 10m 5s main
main
February 15, 2024 08:48 10m 5s
Bump remote action versions CI #268: Pull request #94 opened by nspin
February 15, 2024 08:38 9m 49s nspin:pr/bump-action-versions
nspin:pr/bump-action-versions
February 15, 2024 08:38 9m 49s
nix: Add aarch32 config to docs CI #267: Commit cd8704e pushed by nspin
February 15, 2024 08:21 12m 54s main
main
February 15, 2024 08:21 12m 54s
Add aarch32 config to rustdoc site CI #266: Pull request #93 synchronize by nspin
February 15, 2024 08:07 9m 26s nspin:pr/aarch32-rustdoc
nspin:pr/aarch32-rustdoc
February 15, 2024 08:07 9m 26s
Add aarch32 config to rustdoc site CI #265: Pull request #93 opened by nspin
February 15, 2024 08:06 10m 6s nspin:pr/aarch32-rustdoc
nspin:pr/aarch32-rustdoc
February 15, 2024 08:06 10m 6s
nix: Polish Ring test CI #264: Commit 3450b7d pushed by nspin
February 14, 2024 12:30 12m 5s main
main
February 14, 2024 12:30 12m 5s
Clean up ring test CI #263: Pull request #92 synchronize by nspin
February 14, 2024 12:04 5m 42s nspin:pr/ring-test-clean-up
nspin:pr/ring-test-clean-up
February 14, 2024 12:04 5m 42s
Clean up ring test CI #262: Pull request #92 opened by nspin
February 14, 2024 12:04 13m 49s nspin:pr/ring-test-clean-up
nspin:pr/ring-test-clean-up
February 14, 2024 12:04 13m 49s
Change CapDL branch names CI #261: Commit b8f8ae0 pushed by nspin
February 14, 2024 11:41 10m 13s main
main
February 14, 2024 11:41 10m 13s
Clean up CapDL branch CI #260: Pull request #91 synchronize by nspin
February 14, 2024 11:28 8m 59s nspin:pr/clean-up-capdl-branch
nspin:pr/clean-up-capdl-branch
February 14, 2024 11:28 8m 59s
Clean up CapDL branch CI #259: Pull request #91 synchronize by nspin
February 14, 2024 11:28 8m 54s nspin:pr/clean-up-capdl-branch
nspin:pr/clean-up-capdl-branch
February 14, 2024 11:28 8m 54s
Clean up CapDL branch CI #258: Pull request #91 synchronize by nspin
February 14, 2024 11:28 9m 21s nspin:pr/clean-up-capdl-branch
nspin:pr/clean-up-capdl-branch
February 14, 2024 11:28 9m 21s
Clean up CapDL branch CI #257: Pull request #91 opened by nspin
February 14, 2024 11:26 4m 48s nspin:pr/clean-up-capdl-branch
nspin:pr/clean-up-capdl-branch
February 14, 2024 11:26 4m 48s
docs: Remove mention of unused SEL4_KERNEL_LOADER_CONFIG CI #256: Commit d981d27 pushed by nspin
February 14, 2024 08:48 13m 24s main
main
February 14, 2024 08:48 13m 24s
Improve top-level docs CI #255: Pull request #90 opened by nspin
February 14, 2024 08:19 13m 15s nspin:pr/improve-docs
nspin:pr/improve-docs
February 14, 2024 08:19 13m 15s
crates/sel4: Fill in documentation for remaining items CI #254: Commit 0dfb5bc pushed by nspin
February 14, 2024 06:16 12m 16s main
main
February 14, 2024 06:16 12m 16s
Fill in documentation for remaining items in sel4 crate CI #253: Pull request #89 synchronize by nspin
February 14, 2024 06:01 9m 25s nspin:pr/more-rustdoc
nspin:pr/more-rustdoc
February 14, 2024 06:01 9m 25s
Fill in documentation for remaining items in sel4 crate CI #252: Pull request #89 synchronize by nspin
February 14, 2024 05:50 18m 48s nspin:pr/more-rustdoc
nspin:pr/more-rustdoc
February 14, 2024 05:50 18m 48s
Fill in documentation for remaining items in sel4 crate CI #251: Pull request #89 synchronize by nspin
February 14, 2024 05:48 18m 20s nspin:pr/more-rustdoc
nspin:pr/more-rustdoc
February 14, 2024 05:48 18m 20s
Fill in documentation for remaining items in sel4 crate CI #250: Pull request #89 opened by nspin
February 14, 2024 04:53 1h 19m 52s nspin:pr/more-rustdoc
nspin:pr/more-rustdoc
February 14, 2024 04:53 1h 19m 52s
crates/sel4-async/network: Add note CI #249: Commit f1566f8 pushed by nspin
February 13, 2024 11:09 11m 40s main
main
February 13, 2024 11:09 11m 40s
Improve interfaces around async networking CI #248: Pull request #87 synchronize by nspin
February 13, 2024 10:50 12m 14s nspin:pr/improve-async-net-interfaces
nspin:pr/improve-async-net-interfaces
February 13, 2024 10:50 12m 14s
ProTip! You can narrow down the results and go further in time using created:<2024-02-13 or the other filters available.