Skip to content

Actions: seL4/microkit

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
596 workflow runs
596 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for domain scheduling CI #611: Pull request #175 synchronize by JE-Archer
September 9, 2024 08:35 22s JE-Archer:domains
JE-Archer:domains
September 9, 2024 08:35 22s
Add support for domain scheduling CI #610: Pull request #175 synchronize by JE-Archer
September 9, 2024 08:33 32s JE-Archer:domains
JE-Archer:domains
September 9, 2024 08:33 32s
Add support for domain scheduling CI #609: Pull request #175 synchronize by JE-Archer
September 9, 2024 08:32 35s JE-Archer:domains
JE-Archer:domains
September 9, 2024 08:32 35s
Add support for domain scheduling CI #608: Pull request #175 synchronize by JE-Archer
September 9, 2024 08:19 31s JE-Archer:domains
JE-Archer:domains
September 9, 2024 08:19 31s
Add support for domain scheduling CI #607: Pull request #175 synchronize by JE-Archer
September 6, 2024 05:21 24s JE-Archer:domains
JE-Archer:domains
September 6, 2024 05:21 24s
Allow specifying notify or ppcalls on a per-channel, not per-protection domain basis CI #606: Pull request #217 synchronize by midnightveil
September 5, 2024 01:52 26s midnightveil:channel-extensions
midnightveil:channel-extensions
September 5, 2024 01:52 26s
ci: fix macOS x86-64 SDK artefact CI #598: Commit cf88629 pushed by Ivan-Velickovic
September 4, 2024 07:33 28s main
main
September 4, 2024 07:33 28s
ci: fix macOS x86-64 SDK artefact CI #597: Pull request #218 synchronize by Ivan-Velickovic
September 4, 2024 07:15 32s fix_macos_ci_artefact
fix_macos_ci_artefact
September 4, 2024 07:15 32s
ci: fix macOS x86-64 SDK artefact CI #596: Pull request #218 opened by Ivan-Velickovic
September 4, 2024 07:04 36s fix_macos_ci_artefact
fix_macos_ci_artefact
September 4, 2024 07:04 36s
Add support for domain scheduling CI #595: Pull request #175 synchronize by JE-Archer
September 4, 2024 05:56 22s JE-Archer:domains
JE-Archer:domains
September 4, 2024 05:56 22s
Add support for domain scheduling CI #594: Pull request #175 synchronize by JE-Archer
September 4, 2024 05:43 28s JE-Archer:domains
JE-Archer:domains
September 4, 2024 05:43 28s
Add support for domain scheduling CI #593: Pull request #175 synchronize by JE-Archer
September 4, 2024 05:27 23s JE-Archer:domains
JE-Archer:domains
September 4, 2024 05:27 23s
Add support for domain scheduling CI #590: Pull request #175 synchronize by JE-Archer
September 4, 2024 04:18 25s JE-Archer:domains
JE-Archer:domains
September 4, 2024 04:18 25s
Add support for domain scheduling CI #589: Pull request #175 synchronize by JE-Archer
September 4, 2024 04:07 25s JE-Archer:domains
JE-Archer:domains
September 4, 2024 04:07 25s
Add support for domain scheduling CI #588: Pull request #175 synchronize by JE-Archer
September 4, 2024 03:57 21s JE-Archer:domains
JE-Archer:domains
September 4, 2024 03:57 21s
Allow specifying notify or ppcalls on a per-channel, not per-protection domain basis CI #587: Pull request #217 synchronize by midnightveil
September 4, 2024 00:57 24s midnightveil:channel-extensions
midnightveil:channel-extensions
September 4, 2024 00:57 24s
Allow specifying notify or ppcalls on a per-channel, not per-protection domain basis CI #585: Pull request #217 synchronize by midnightveil
September 4, 2024 00:47 22s midnightveil:channel-extensions
midnightveil:channel-extensions
September 4, 2024 00:47 22s
Add support for i.MX8MP-EVK CI #582: Commit 4cc0f1f pushed by Ivan-Velickovic
September 4, 2024 00:28 31s main
main
September 4, 2024 00:28 31s
Add support for i.MX8MP-EVK CI #581: Pull request #216 opened by Ivan-Velickovic
September 4, 2024 00:25 31s imx8mp_evk
imx8mp_evk
September 4, 2024 00:25 31s
Fix prints in error messages CI #580: Commit 32c9c3d pushed by Ivan-Velickovic
September 3, 2024 12:41 22s main
main
September 3, 2024 12:41 22s
Add support for ARM SMC calls CI #579: Commit c56ba46 pushed by Ivan-Velickovic
September 3, 2024 12:40 32s main
main
September 3, 2024 12:40 32s
Add support for ARM SMC calls CI #578: Pull request #215 synchronize by Ivan-Velickovic
September 3, 2024 12:38 23s smc_support
smc_support
September 3, 2024 12:38 23s
Add support for ARM SMC calls CI #577: Pull request #215 synchronize by Ivan-Velickovic
September 3, 2024 12:29 27s smc_support
smc_support
September 3, 2024 12:29 27s
Add support for ARM SMC calls CI #576: Pull request #215 synchronize by Ivan-Velickovic
September 3, 2024 12:28 36s smc_support
smc_support
September 3, 2024 12:28 36s
Add support for ARM SMC calls CI #575: Pull request #215 opened by Ivan-Velickovic
September 3, 2024 12:27 29s smc_support
smc_support
September 3, 2024 12:27 29s