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

Improve parameter types for sel4::UserContext methods CI #297: Pull request #102 opened by nspin
February 29, 2024 08:54 7m 58s nspin:pr/user-context-param-types
nspin:pr/user-context-param-types
February 29, 2024 08:54 7m 58s
crates/sel4-panicking: Work with more rustc versions CI #296: Commit 0241655 pushed by nspin
February 29, 2024 08:52 11m 15s main
main
February 29, 2024 08:52 11m 15s
Enable sel4-panicking crate to work with more rustc versions CI #295: Pull request #101 opened by nspin
February 29, 2024 08:35 16m 0s nspin:pr/panicking-compatibility
nspin:pr/panicking-compatibility
February 29, 2024 08:35 16m 0s
Address warnings CI #294: Commit 13ade5e pushed by nspin
February 29, 2024 08:32 11m 31s main
main
February 29, 2024 08:32 11m 31s
Split out Microkit runtime from rest of Microkit API CI #293: Pull request #100 synchronize by nspin
February 29, 2024 08:13 15m 54s nspin:pr/factor-out-microkit-runtime
nspin:pr/factor-out-microkit-runtime
February 29, 2024 08:13 15m 54s
Split out Microkit runtime from rest of Microkit API CI #292: Pull request #100 synchronize by nspin
February 28, 2024 20:42 14m 50s nspin:pr/factor-out-microkit-runtime
nspin:pr/factor-out-microkit-runtime
February 28, 2024 20:42 14m 50s
Split out Microkit runtime from rest of Microkit API CI #291: Pull request #100 synchronize by nspin
February 28, 2024 07:35 18m 23s nspin:pr/factor-out-microkit-runtime
nspin:pr/factor-out-microkit-runtime
February 28, 2024 07:35 18m 23s
Split out Microkit runtime from rest of Microkit API CI #290: Pull request #100 opened by nspin
February 28, 2024 06:56 13m 1s nspin:pr/factor-out-microkit-runtime
nspin:pr/factor-out-microkit-runtime
February 28, 2024 06:56 13m 1s
Add spawn-thread example CI #289: Commit 88e9d4a pushed by nspin
February 26, 2024 06:02 12m 59s main
main
February 26, 2024 06:02 12m 59s
Redesign sel4-initialize-tls crate and add spawn-thread example CI #288: Pull request #99 synchronize by nspin
February 26, 2024 05:53 9m 38s nspin:pr/spawn-thread-example
nspin:pr/spawn-thread-example
February 26, 2024 05:53 9m 38s
Redesign sel4-initialize-tls crate and add spawn-thread example CI #287: Pull request #99 synchronize by nspin
February 26, 2024 05:38 10m 46s nspin:pr/spawn-thread-example
nspin:pr/spawn-thread-example
February 26, 2024 05:38 10m 46s
Redesign sel4-initialize-tls crate and add spawn-thread example CI #286: Pull request #99 opened by nspin
February 26, 2024 05:37 9m 42s nspin:pr/spawn-thread-example
nspin:pr/spawn-thread-example
February 26, 2024 05:37 9m 42s
nix: Update CapDL rev CI #285: Commit ee20f2b pushed by nspin
February 21, 2024 07:19 11m 7s main
main
February 21, 2024 07:19 11m 7s
nix: Update CapDL rev CI #284: Pull request #97 opened by nspin
February 21, 2024 07:01 15m 46s nspin:pr/update-nix-capdl-rev
nspin:pr/update-nix-capdl-rev
February 21, 2024 07:01 15m 46s
Add support for x86 MSI and IOAPIC IRQs CI #283: Commit 7c5d022 pushed by nspin
February 21, 2024 07:00 18m 16s main
main
February 21, 2024 07:00 18m 16s
Add support for x86 MSI and IOAPIC IRQs CI #282: Pull request #96 synchronize by Ivan-Velickovic
February 21, 2024 06:30 29m 2s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 21, 2024 06:30 29m 2s
Add support for x86 MSI and IOAPIC IRQs CI #281: Pull request #96 synchronize by Ivan-Velickovic
February 21, 2024 06:27 8m 44s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 21, 2024 06:27 8m 44s
Add support for x86 MSI and IOAPIC IRQs CI #280: Pull request #96 synchronize by Ivan-Velickovic
February 21, 2024 06:21 8m 47s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 21, 2024 06:21 8m 47s
Add support for x86 MSI and IOAPIC IRQs CI #279: Pull request #96 synchronize by Ivan-Velickovic
February 21, 2024 06:15 9m 14s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 21, 2024 06:15 9m 14s
Add support for x86 MSI and IOAPIC IRQs CI #278: Pull request #96 synchronize by Ivan-Velickovic
February 21, 2024 00:45 46m 34s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 21, 2024 00:45 46m 34s
Add support for x86 MSI and IOAPIC IRQs CI #277: Pull request #96 synchronize by Ivan-Velickovic
February 20, 2024 02:59 26m 10s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 20, 2024 02:59 26m 10s
Add support for x86 MSI and IOAPIC IRQs CI #276: Pull request #96 synchronize by Ivan-Velickovic
February 20, 2024 01:27 35m 55s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 20, 2024 01:27 35m 55s
Add support for x86 MSI and IOAPIC IRQs CI #275: Pull request #96 synchronize by Ivan-Velickovic
February 20, 2024 01:19 8m 32s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 20, 2024 01:19 8m 32s
Add support for x86 MSI and IOAPIC IRQs CI #274: Pull request #96 synchronize by Ivan-Velickovic
February 20, 2024 01:17 9m 21s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 20, 2024 01:17 9m 21s
Add support for x86 MSI and IOAPIC IRQs CI #273: Pull request #96 synchronize by Ivan-Velickovic
February 20, 2024 00:51 8m 41s Ivan-Velickovic:x86_irqs
Ivan-Velickovic:x86_irqs
February 20, 2024 00:51 8m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-02-20 or the other filters available.