Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,809 workflow runs
1,809 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for SiFive Premier P550 CI #796: Pull request #278 synchronize by Ivan-Velickovic
February 17, 2025 05:15 23s p550
p550
February 17, 2025 05:15 23s
Add support for SiFive Premier P550 PR #621: Pull request #278 synchronize by Ivan-Velickovic
February 17, 2025 05:15 1m 13s p550
p550
February 17, 2025 05:15 1m 13s
Add support for SiFive Premier P550 SDK #778: Pull request #278 synchronize by Ivan-Velickovic
February 17, 2025 05:15 11m 30s p550
p550
February 17, 2025 05:15 11m 30s
Add support for SiFive Premier P550 CI #795: Pull request #278 synchronize by Ivan-Velickovic
February 13, 2025 02:20 22s p550
p550
February 13, 2025 02:20 22s
Add support for SiFive Premier P550 SDK #777: Pull request #278 synchronize by Ivan-Velickovic
February 13, 2025 02:20 9m 31s p550
p550
February 13, 2025 02:20 9m 31s
Add support for SiFive Premier P550 PR #620: Pull request #278 synchronize by Ivan-Velickovic
February 13, 2025 02:20 36s p550
p550
February 13, 2025 02:20 36s
loader: fix qemu GIC addresses CI #794: Commit d2c4397 pushed by Ivan-Velickovic
February 13, 2025 01:56 22s main
main
February 13, 2025 01:56 22s
loader: fix qemu GIC addresses SDK #776: Commit d2c4397 pushed by Ivan-Velickovic
February 13, 2025 01:56 13m 2s main
main
February 13, 2025 01:56 13m 2s
loader: fix qemu GIC addresses CI #793: Pull request #279 synchronize by midnightveil
February 13, 2025 01:36 26s midnightveil:qemu-fix-gic-base-address
midnightveil:qemu-fix-gic-base-address
February 13, 2025 01:36 26s
loader: fix qemu GIC addresses PR #619: Pull request #279 synchronize by midnightveil
February 13, 2025 01:36 35s midnightveil:qemu-fix-gic-base-address
midnightveil:qemu-fix-gic-base-address
February 13, 2025 01:36 35s
loader: fix qemu GIC addresses SDK #775: Pull request #279 synchronize by midnightveil
February 13, 2025 01:36 14m 53s midnightveil:qemu-fix-gic-base-address
midnightveil:qemu-fix-gic-base-address
February 13, 2025 01:36 14m 53s
loader: fix qemu GIC addresses CI #792: Pull request #279 opened by midnightveil
February 13, 2025 01:34 27s midnightveil:qemu-fix-gic-base-address
midnightveil:qemu-fix-gic-base-address
February 13, 2025 01:34 27s
loader: fix qemu GIC addresses PR #618: Pull request #279 opened by midnightveil
February 13, 2025 01:34 2m 38s midnightveil:qemu-fix-gic-base-address
midnightveil:qemu-fix-gic-base-address
February 13, 2025 01:34 2m 38s
loader: fix qemu GIC addresses SDK #774: Pull request #279 opened by midnightveil
February 13, 2025 01:34 14m 49s midnightveil:qemu-fix-gic-base-address
midnightveil:qemu-fix-gic-base-address
February 13, 2025 01:34 14m 49s
Add support for SiFive Premier P550 CI #791: Pull request #278 opened by Ivan-Velickovic
February 11, 2025 05:26 28s p550
p550
February 11, 2025 05:26 28s
Add support for SiFive Premier P550 PR #617: Pull request #278 opened by Ivan-Velickovic
February 11, 2025 05:26 2m 35s p550
p550
February 11, 2025 05:26 2m 35s
Add support for SiFive Premier P550 SDK #773: Pull request #278 opened by Ivan-Velickovic
February 11, 2025 05:26 11m 35s p550
p550
February 11, 2025 05:26 11m 35s
manual: make board support alphabetical order SDK #772: Commit 87e3e80 pushed by Ivan-Velickovic
February 11, 2025 05:25 14m 14s main
main
February 11, 2025 05:25 14m 14s
manual: make board support alphabetical order CI #790: Commit 87e3e80 pushed by Ivan-Velickovic
February 11, 2025 05:25 18s main
main
February 11, 2025 05:25 18s
manual: make board support alphabetical order SDK #771: Pull request #277 opened by Ivan-Velickovic
February 11, 2025 05:25 16m 24s manualfix
manualfix
February 11, 2025 05:25 16m 24s
manual: make board support alphabetical order CI #789: Pull request #277 opened by Ivan-Velickovic
February 11, 2025 05:25 23s manualfix
manualfix
February 11, 2025 05:25 23s
manual: make board support alphabetical order PR #616: Pull request #277 opened by Ivan-Velickovic
February 11, 2025 05:25 2m 33s manualfix
manualfix
February 11, 2025 05:25 2m 33s
README: mention bootloader CI #788: Commit 13b0717 pushed by Ivan-Velickovic
February 10, 2025 01:56 22s main
main
February 10, 2025 01:56 22s
README: mention bootloader SDK #770: Commit 13b0717 pushed by Ivan-Velickovic
February 10, 2025 01:56 14m 5s main
main
February 10, 2025 01:56 14m 5s
Update seL4 version SDK #769: Commit e43e43d pushed by Ivan-Velickovic
February 10, 2025 01:52 12m 38s main
main
February 10, 2025 01:52 12m 38s