Skip to content

Actions: seL4/seL4_libs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
237 workflow runs
237 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

aarch64: Minimal update for vspace API change Trigger #21: Commit 310eace pushed by kent-mcleod
August 9, 2023 22:20 15s master
master
August 9, 2023 22:20 15s
aarch64: Minimal update for vspace API change seL4Test #124: Commit 310eace pushed by kent-mcleod
August 9, 2023 22:20 14m 58s master
master
August 9, 2023 22:20 14m 58s
aarch64: Minimal update for vspace API change CI #163: Commit 310eace pushed by kent-mcleod
August 9, 2023 22:20 41s master
master
August 9, 2023 22:20 41s
RFC: AArch64: remove VSpace object types, seL4_ARM_PageDirectory and seL4_ARM_PageUpperDirectory CI #162: Pull request #59 synchronize by kent-mcleod
August 3, 2023 01:41 47s kent-mcleod:kent/aarch64
kent-mcleod:kent/aarch64
August 3, 2023 01:41 47s
RFC: AArch64: remove VSpace object types, seL4_ARM_PageDirectory and seL4_ARM_PageUpperDirectory PR #130: Pull request #59 synchronize by kent-mcleod
August 3, 2023 01:41 28s kent-mcleod:kent/aarch64
kent-mcleod:kent/aarch64
August 3, 2023 01:41 28s
RFC: AArch64: remove VSpace object types, seL4_ARM_PageDirectory and seL4_ARM_PageUpperDirectory seL4Test #123: Pull request #59 synchronize by kent-mcleod
August 3, 2023 01:41 17m 3s kent-mcleod:kent/aarch64
kent-mcleod:kent/aarch64
August 3, 2023 01:41 17m 3s
Enable building with lld seL4Test #122: Pull request #75 synchronize by heshamelmatary
August 2, 2023 14:54 2m 20s CTSRD-CHERI:lld
CTSRD-CHERI:lld
August 2, 2023 14:54 2m 20s
Enable building with lld PR #129: Pull request #75 synchronize by heshamelmatary
August 2, 2023 14:54 31s CTSRD-CHERI:lld
CTSRD-CHERI:lld
August 2, 2023 14:54 31s
Enable building with lld CI #161: Pull request #75 synchronize by heshamelmatary
August 2, 2023 14:54 43s CTSRD-CHERI:lld
CTSRD-CHERI:lld
August 2, 2023 14:54 43s
Enable building with lld CI #160: Pull request #75 opened by heshamelmatary
July 31, 2023 14:30 1m 12s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 31, 2023 14:30 1m 12s
Enable building with lld PR #128: Pull request #75 opened by heshamelmatary
July 31, 2023 14:30 30s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 31, 2023 14:30 30s
Enable building with lld seL4Test #121: Pull request #75 opened by heshamelmatary
July 31, 2023 14:30 2m 51s CTSRD-CHERI:lld
CTSRD-CHERI:lld
July 31, 2023 14:30 2m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-07-31 or the other filters available.