Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
feat: add pi 5 support PR #1500: Pull request #573 opened by iiPythonx
Action required iiPythonx:add-pi-5-support
iiPythonx:add-pi-5-support
Action required
feat: add pi 5 support CI #1906: Pull request #573 opened by iiPythonx
Action required iiPythonx:add-pi-5-support
iiPythonx:add-pi-5-support
Action required
Release 2.3.0 Deploy #41: Commit 8780fab pushed by midnightveil
2m 1s 2.3.0
2.3.0
2m 1s
Release 2.3.0 CI #1905: Commit 8780fab pushed by midnightveil
32s main
main
32s
Release 2.3.0 Deploy #40: Commit 8780fab pushed by midnightveil
44m 56s main
main
44m 56s
Add release notes (CHANGES.md) for Microkit 2.3.0 CI #1904: Pull request #565 synchronize by midnightveil
36s julia/changelog-v2.3.0
julia/changelog-v2.3.0
36s
Add release notes (CHANGES.md) for Microkit 2.3.0 PR #1499: Pull request #565 synchronize by midnightveil
1m 28s julia/changelog-v2.3.0
julia/changelog-v2.3.0
1m 28s
Add release notes (CHANGES.md) for Microkit 2.3.0 PR #1498: Pull request #565 synchronize by midnightveil
31m 24s julia/changelog-v2.3.0
julia/changelog-v2.3.0
31m 24s
Add release notes (CHANGES.md) for Microkit 2.3.0 CI #1903: Pull request #565 synchronize by midnightveil
43s julia/changelog-v2.3.0
julia/changelog-v2.3.0
43s
Add release notes (CHANGES.md) for Microkit 2.3.0 CI #1902: Pull request #565 synchronize by midnightveil
34s julia/changelog-v2.3.0
julia/changelog-v2.3.0
34s
Add release notes (CHANGES.md) for Microkit 2.3.0 PR #1497: Pull request #565 synchronize by midnightveil
22m 5s julia/changelog-v2.3.0
julia/changelog-v2.3.0
22m 5s
Graph Update: pip in /. #1470092909 Dependency Graph #1: by dependabot Bot
39s main
main
39s
cleanup: remove python deps from python microkit CI #1901: Commit d519608 pushed by midnightveil
1m 0s main
main
1m 0s
cleanup: remove python deps from python microkit Deploy #39: Commit d519608 pushed by midnightveil
44m 35s main
main
44m 35s
cleanup: remove python deps from python microkit CI #1900: Pull request #571 opened by midnightveil
33s julia/remove-python
julia/remove-python
33s
cleanup: remove python deps from python microkit PR #1496: Pull request #571 opened by midnightveil
1h 19m 13s julia/remove-python
julia/remove-python
1h 19m 13s
Add release notes (CHANGES.md) for Microkit 2.3.0 PR #1495: Pull request #565 synchronize by midnightveil
32m 14s julia/changelog-v2.3.0
julia/changelog-v2.3.0
32m 14s
Add release notes (CHANGES.md) for Microkit 2.3.0 CI #1899: Pull request #565 synchronize by midnightveil
40s julia/changelog-v2.3.0
julia/changelog-v2.3.0
40s
manual: document must have CPU features for x86 CI #1898: Commit f344d90 pushed by midnightveil
40s main
main
40s
manual: document must have CPU features for x86 Deploy #38: Commit f344d90 pushed by midnightveil
1h 52m 57s main
main
1h 52m 57s
manual: document must have CPU features for x86 CI #1897: Pull request #569 synchronize by midnightveil
35s au-ts:x86_features
au-ts:x86_features
35s
manual: document must have CPU features for x86 PR #1494: Pull request #569 synchronize by midnightveil
49s au-ts:x86_features
au-ts:x86_features
49s
manual: document must have CPU features for x86 CI #1896: Pull request #569 synchronize by midnightveil
38s au-ts:x86_features
au-ts:x86_features
38s
manual: document must have CPU features for x86 PR #1493: Pull request #569 synchronize by midnightveil
36m 58s au-ts:x86_features
au-ts:x86_features
36m 58s
manual: document must have CPU features for x86 PR #1492: Pull request #569 synchronize by dreamliner787-9
2m 10s au-ts:x86_features
au-ts:x86_features
2m 10s