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: Update CapDL rev CI #322: Pull request #110 opened by nspin
March 13, 2024 22:36 18m 38s nspin:pr/update-capdl-rev
nspin:pr/update-capdl-rev
March 13, 2024 22:36 18m 38s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #321: Commit 83354a5 pushed by nspin
March 13, 2024 22:32 22m 33s main
main
March 13, 2024 22:32 22m 33s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #320: Pull request #109 synchronize by Ivan-Velickovic
March 13, 2024 03:54 50m 59s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 13, 2024 03:54 50m 59s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #319: Pull request #109 synchronize by Ivan-Velickovic
March 13, 2024 03:47 39m 14s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 13, 2024 03:47 39m 14s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #318: Pull request #109 synchronize by Ivan-Velickovic
March 13, 2024 03:38 48m 17s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 13, 2024 03:38 48m 17s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #317: Pull request #109 synchronize by Ivan-Velickovic
March 11, 2024 09:48 28m 47s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 11, 2024 09:48 28m 47s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #316: Pull request #109 synchronize by Ivan-Velickovic
March 11, 2024 03:16 43m 43s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 11, 2024 03:16 43m 43s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #315: Pull request #109 synchronize by Ivan-Velickovic
March 11, 2024 02:14 49m 28s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 11, 2024 02:14 49m 28s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #314: Pull request #109 synchronize by Ivan-Velickovic
March 11, 2024 02:12 51m 40s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 11, 2024 02:12 51m 40s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #313: Pull request #109 synchronize by Ivan-Velickovic
March 11, 2024 02:05 58m 45s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 11, 2024 02:05 58m 45s
crates/sel4-capdl-initializer: add support for x86 IOPorts CI #312: Pull request #109 opened by Ivan-Velickovic
March 11, 2024 02:05 42m 21s Ivan-Velickovic:ioports_support
Ivan-Velickovic:ioports_support
March 11, 2024 02:05 42m 21s
crates/sel4-capdl-initializer: fix compile error CI #311: Commit c97687b pushed by nspin
March 6, 2024 05:53 14m 35s main
main
March 6, 2024 05:53 14m 35s
crates/sel4-capdl-initializer: fix compile error CI #310: Pull request #108 synchronize by Ivan-Velickovic
March 6, 2024 02:27 13m 9s fix_capdl_compile_error
fix_capdl_compile_error
March 6, 2024 02:27 13m 9s
crates/sel4-capdl-initializer: fix compile error CI #309: Pull request #108 opened by Ivan-Velickovic
March 6, 2024 02:27 14m 6s fix_capdl_compile_error
fix_capdl_compile_error
March 6, 2024 02:27 14m 6s
crates/sel4-capdl-initializer: Fix bug CI #308: Commit 2f5fe67 pushed by nspin
March 5, 2024 08:53 12m 50s main
main
March 5, 2024 08:53 12m 50s
Fix bug in CapDL initializer CI #307: Pull request #107 synchronize by nspin
March 5, 2024 08:39 12m 23s nspin:pr/capdl-bug
nspin:pr/capdl-bug
March 5, 2024 08:39 12m 23s
Fix bug in CapDL initializer CI #306: Pull request #107 opened by nspin
March 5, 2024 08:34 12m 18s nspin:pr/capdl-bug
nspin:pr/capdl-bug
March 5, 2024 08:34 12m 18s
crates/sel4-capdl-initializer: Fix bug CI #305: Commit f4d0c2d pushed by nspin
March 5, 2024 08:29 10m 23s main
main
March 5, 2024 08:29 10m 23s
Fix bug in CapDL initializer CI #304: Pull request #106 opened by nspin
March 5, 2024 08:15 11m 24s nspin:pr/capdl-bug
nspin:pr/capdl-bug
March 5, 2024 08:15 11m 24s
Make style more consistent CI #303: Commit 0404ca7 pushed by nspin
March 5, 2024 08:10 13m 14s main
main
March 5, 2024 08:10 13m 14s
Add 32-bit support to CapDL initializer CI #302: Pull request #105 opened by nspin
March 5, 2024 07:57 10m 51s nspin:pr/capdl-32-bit
nspin:pr/capdl-32-bit
March 5, 2024 07:57 10m 51s
capdl: set notification on x86 IRQ handlers CI #301: Commit a1f2484 pushed by nspin
March 5, 2024 07:25 11m 22s main
main
March 5, 2024 07:25 11m 22s
capdl: set notification on x86 IRQ handlers CI #300: Pull request #103 synchronize by Ivan-Velickovic
March 2, 2024 03:02 11m 44s x86_set_notification
x86_set_notification
March 2, 2024 03:02 11m 44s
capdl: set notification on x86 IRQ handlers CI #299: Pull request #103 opened by Ivan-Velickovic
March 2, 2024 02:59 1h 41m 21s x86_set_notification
x86_set_notification
March 2, 2024 02:59 1h 41m 21s
crates/sel4: Improve types CI #298: Commit 484bb4b pushed by nspin
February 29, 2024 09:08 11m 25s main
main
February 29, 2024 09:08 11m 25s