Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,927 workflow runs
1,927 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
Add support for qemu virtual machines using KVM PR #1277: Pull request #423 synchronize by IkerGalardi
Action required IkerGalardi:kvm-support
IkerGalardi:kvm-support
Action required
Add support for qemu virtual machines using KVM CI #1636: Pull request #423 synchronize by IkerGalardi
Action required IkerGalardi:kvm-support
IkerGalardi:kvm-support
Action required
Add support for qemu virtual machines using KVM SDK #1619: Pull request #423 synchronize by IkerGalardi
Action required IkerGalardi:kvm-support
IkerGalardi:kvm-support
Action required
dev_build.py: do not use --release for tool CI #1635: Commit 112600f pushed by Ivan-Velickovic
47s main
main
47s
dev_build.py: do not use --release for tool SDK #1618: Commit 112600f pushed by Ivan-Velickovic
42m 18s main
main
42m 18s
tool: avoid --release for development and fix unsigned overflow PR #1276: Pull request #490 synchronize by Ivan-Velickovic
1m 39s debug_tool
debug_tool
1m 39s
tool: avoid --release for development and fix unsigned overflow CI #1634: Pull request #490 synchronize by Ivan-Velickovic
37s debug_tool
debug_tool
37s
tool: avoid --release for development and fix unsigned overflow SDK #1617: Pull request #490 synchronize by Ivan-Velickovic
29m 11s debug_tool
debug_tool
29m 11s
tool: avoid --release for development and fix unsigned overflow CI #1633: Pull request #490 opened by Ivan-Velickovic
38s debug_tool
debug_tool
38s
tool: avoid --release for development and fix unsigned overflow PR #1275: Pull request #490 opened by Ivan-Velickovic
4m 44s debug_tool
debug_tool
4m 44s
tool: avoid --release for development and fix unsigned overflow SDK #1616: Pull request #490 opened by Ivan-Velickovic
4m 9s debug_tool
debug_tool
4m 9s
Add support for qemu virtual machines using KVM CI #1632: Pull request #423 synchronize by IkerGalardi
Action required IkerGalardi:kvm-support
IkerGalardi:kvm-support
Action required
Add support for qemu virtual machines using KVM PR #1274: Pull request #423 synchronize by IkerGalardi
Action required IkerGalardi:kvm-support
IkerGalardi:kvm-support
Action required
Add support for qemu virtual machines using KVM SDK #1615: Pull request #423 synchronize by IkerGalardi
Action required IkerGalardi:kvm-support
IkerGalardi:kvm-support
Action required
loader: fix mismatched type for inline assembly CI #1631: Commit afaecae pushed by Ivan-Velickovic
45s main
main
45s
loader: fix mismatched type for inline assembly SDK #1614: Commit afaecae pushed by Ivan-Velickovic
2h 35m 40s main
main
2h 35m 40s
loader: fix mismatched type for inline assembly PR #1273: Pull request #489 opened by KurtWu10
45m 11s au-ts:kurt/asm-type
au-ts:kurt/asm-type
45m 11s
loader: fix mismatched type for inline assembly CI #1630: Pull request #489 opened by KurtWu10
40s au-ts:kurt/asm-type
au-ts:kurt/asm-type
40s
loader: fix mismatched type for inline assembly SDK #1613: Pull request #489 opened by KurtWu10
30m 27s au-ts:kurt/asm-type
au-ts:kurt/asm-type
30m 27s
monitor: print format fix CI #1629: Commit 92e7aa4 pushed by Ivan-Velickovic
45s main
main
45s
monitor: print format fix SDK #1612: Commit 92e7aa4 pushed by Ivan-Velickovic
34m 19s main
main
34m 19s
tool: migrate to new environment info gathering PR #1272: Pull request #488 opened by zaklogician
19m 52s au-ts:viper/sdkinfo
au-ts:viper/sdkinfo
19m 52s
tool: migrate to new environment info gathering CI #1628: Pull request #488 opened by zaklogician
45s au-ts:viper/sdkinfo
au-ts:viper/sdkinfo
45s
tool: migrate to new environment info gathering SDK #1611: Pull request #488 opened by zaklogician
43m 34s au-ts:viper/sdkinfo
au-ts:viper/sdkinfo
43m 34s
monitor: print format fix PR #1271: Pull request #487 opened by Ivan-Velickovic
54s format_fix_monitor
format_fix_monitor
54s