Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,166 workflow runs
2,166 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 x86 vCPU on/off API CI #1732: Commit 31ee14b pushed by midnightveil
34s main
main
34s
Add x86 vCPU on/off API Deploy #15: Commit 31ee14b pushed by midnightveil
55m 47s main
main
55m 47s
Add x86 vCPU on/off API SDK #1715: Commit 31ee14b pushed by midnightveil
30m 20s main
main
30m 20s
libmicrokit: add API for resuming x86 VCPU CI #1731: Pull request #431 synchronize by dreamliner787-9
33s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
33s
libmicrokit: add API for resuming x86 VCPU PR #1354: Pull request #431 synchronize by dreamliner787-9
24m 45s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
24m 45s
libmicrokit: add API for resuming x86 VCPU SDK #1714: Pull request #431 synchronize by dreamliner787-9
30m 16s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
30m 16s
libmicrokit: add API for resuming x86 VCPU CI #1730: Pull request #431 synchronize by dreamliner787-9
32s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
32s
libmicrokit: add API for resuming x86 VCPU PR #1353: Pull request #431 synchronize by dreamliner787-9
1m 14s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
1m 14s
libmicrokit: add API for resuming x86 VCPU SDK #1713: Pull request #431 synchronize by dreamliner787-9
30m 20s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
30m 20s
libmicrokit: add API for resuming x86 VCPU CI #1729: Pull request #431 synchronize by dreamliner787-9
43s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
43s
libmicrokit: add API for resuming x86 VCPU PR #1352: Pull request #431 synchronize by dreamliner787-9
1m 17s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
1m 17s
libmicrokit: add API for resuming x86 VCPU SDK #1712: Pull request #431 synchronize by dreamliner787-9
18m 2s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
18m 2s
libmicrokit: add API for resuming x86 VCPU PR #1351: Pull request #431 synchronize by dreamliner787-9
55s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
55s
libmicrokit: add API for resuming x86 VCPU CI #1728: Pull request #431 synchronize by dreamliner787-9
37s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
37s
libmicrokit: add API for resuming x86 VCPU SDK #1711: Pull request #431 synchronize by dreamliner787-9
18m 46s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
18m 46s
Add support for qemu virtual machines using KVM CI #1727: 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 #1350: 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 #1710: 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 #1349: 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 #1726: 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 #1709: 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 #1725: 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 #1348: 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 #1708: 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 #1724: Pull request #423 synchronize by IkerGalardi
Action required IkerGalardi:kvm-support
IkerGalardi:kvm-support
Action required