Skip to content

Actions: seL4/microkit

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
874 workflow runs
874 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
IOMMU: Add SDF Support CI #1840: Pull request #528 synchronize by cazb2
40s au-ts:callumb_and_cheng/sdf_iommu_support
au-ts:callumb_and_cheng/sdf_iommu_support
40s
IOMMU: Add SDF Support CI #1839: Pull request #528 synchronize by cazb2
40s au-ts:callumb_and_cheng/sdf_iommu_support
au-ts:callumb_and_cheng/sdf_iommu_support
40s
IOMMU: Add SDF Support CI #1838: Pull request #528 synchronize by cazb2
33s au-ts:callumb_and_cheng/sdf_iommu_support
au-ts:callumb_and_cheng/sdf_iommu_support
33s
seL4Config: remove duplicated constants CI #1837: Commit 7ce6c9f pushed by midnightveil
52s main
main
52s
IOMMU: Add SDF Support CI #1836: Pull request #528 synchronize by cazb2
36s au-ts:callumb_and_cheng/sdf_iommu_support
au-ts:callumb_and_cheng/sdf_iommu_support
36s
IOMMU: Add SDF Support CI #1835: Pull request #528 synchronize by cazb2
36s au-ts:callumb_and_cheng/sdf_iommu_support
au-ts:callumb_and_cheng/sdf_iommu_support
36s
seL4Config: remove duplicated constants CI #1834: Pull request #547 synchronize by cazb2
43s au-ts:callumb/improve_config
au-ts:callumb/improve_config
43s
seL4Config: remove duplicated constants CI #1833: Pull request #547 synchronize by cazb2
45s au-ts:callumb/improve_config
au-ts:callumb/improve_config
45s
seL4Config: remove duplicated constants CI #1832: Pull request #547 synchronize by cazb2
34s au-ts:callumb/improve_config
au-ts:callumb/improve_config
34s
seL4Config: remove duplicated constants CI #1831: Pull request #547 synchronize by cazb2
42s au-ts:callumb/improve_config
au-ts:callumb/improve_config
42s
IOMMU: Add SDF Support CI #1830: Pull request #528 synchronize by cazb2
45s au-ts:callumb_and_cheng/sdf_iommu_support
au-ts:callumb_and_cheng/sdf_iommu_support
45s
IOMMU: Add SDF Support CI #1829: Pull request #528 synchronize by cazb2
42s au-ts:callumb_and_cheng/sdf_iommu_support
au-ts:callumb_and_cheng/sdf_iommu_support
42s
IOMMU: Add SDF Support CI #1828: Pull request #528 synchronize by cazb2
5m 54s au-ts:callumb_and_cheng/sdf_iommu_support
au-ts:callumb_and_cheng/sdf_iommu_support
5m 54s
Fix Typo CI #1827: Commit 4f7c38f pushed by midnightveil
1m 21s main
main
1m 21s
Fix Typo CI #1826: Pull request #548 opened by cazb2
50s au-ts:callumb/typos
au-ts:callumb/typos
50s
seL4Config: remove duplicated constants CI #1825: Pull request #547 synchronize by cazb2
46s au-ts:callumb/improve_config
au-ts:callumb/improve_config
46s
ci: use microkit-manifest for PR SDK builds CI #1824: Commit ba0e475 pushed by midnightveil
1m 14s main
main
1m 14s
seL4Config: remove duplicated constants CI #1823: Pull request #547 synchronize by cazb2
36s au-ts:callumb/improve_config
au-ts:callumb/improve_config
36s
ci: use microkit-manifest for PR SDK builds CI #1822: Pull request #546 synchronize by midnightveil
39s au-ts:julia/pr-sdk-build-use-manifest
au-ts:julia/pr-sdk-build-use-manifest
39s
seL4Config: remove duplicated constants CI #1821: Pull request #547 synchronize by cazb2
38s au-ts:callumb/improve_config
au-ts:callumb/improve_config
38s
seL4Config: remove duplicated constants CI #1820: Pull request #547 opened by cazb2
37s au-ts:callumb/improve_config
au-ts:callumb/improve_config
37s
ci: use microkit-manifest for PR SDK builds CI #1819: Pull request #546 synchronize by midnightveil
42s au-ts:julia/pr-sdk-build-use-manifest
au-ts:julia/pr-sdk-build-use-manifest
42s
ci: use microkit-manifest for PR SDK builds CI #1818: Pull request #546 synchronize by midnightveil
40s au-ts:julia/pr-sdk-build-use-manifest
au-ts:julia/pr-sdk-build-use-manifest
40s
ci: use microkit-manifest for PR SDK builds CI #1817: Pull request #546 synchronize by midnightveil
44s au-ts:julia/pr-sdk-build-use-manifest
au-ts:julia/pr-sdk-build-use-manifest
44s
ci: use microkit-manifest for PR SDK builds CI #1816: Pull request #546 synchronize by midnightveil
41s au-ts:julia/pr-sdk-build-use-manifest
au-ts:julia/pr-sdk-build-use-manifest
41s