Skip to content

Actions: seL4/seL4_projects_libs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

vmmplatsupport, x86: remove e820 entry PR #321: Pull request #118 opened by chrisguikema
October 26, 2023 13:58 30s chrisguikema:allow_64_bit_memory
chrisguikema:allow_64_bit_memory
October 26, 2023 13:58 30s
vmmplatsupport, x86: remove e820 entry CI #387: Pull request #118 opened by chrisguikema
October 26, 2023 13:58 52s chrisguikema:allow_64_bit_memory
chrisguikema:allow_64_bit_memory
October 26, 2023 13:58 52s
Guest ram fixes PR #320: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:22 26s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:22 26s
Guest ram fixes CI #386: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:22 35s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:22 35s
Guest ram fixes seL4Test #370: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:22 16m 11s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:22 16m 11s
Guest ram fixes PR #319: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:18 30s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:18 30s
Guest ram fixes seL4Test #369: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:18 14m 48s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:18 14m 48s
Guest ram fixes CI #385: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:18 33s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:18 33s
Guest ram fixes PR #318: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:07 28s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:07 28s
Guest ram fixes seL4Test #368: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:07 17m 12s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:07 17m 12s
Guest ram fixes CI #384: Pull request #116 synchronize by chrisguikema
October 26, 2023 13:07 46s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 13:07 46s
sel4vm, lapic: fix apic mmio access seL4Test #367: Commit bfe54e3 pushed by abrandnewusername
October 26, 2023 03:05 16m 15s master
master
October 26, 2023 03:05 16m 15s
sel4vm, lapic: fix apic mmio access Trigger #62: Commit bfe54e3 pushed by abrandnewusername
October 26, 2023 03:05 15s master
master
October 26, 2023 03:05 15s
sel4vm, lapic: fix apic mmio access CI #383: Commit bfe54e3 pushed by abrandnewusername
October 26, 2023 03:05 40s master
master
October 26, 2023 03:05 40s
vmmplatsupport: support hpet emulation PR #317: Pull request #117 synchronize by chrisguikema
October 25, 2023 20:04 29s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 20:04 29s
vmmplatsupport: support hpet emulation CI #382: Pull request #117 synchronize by chrisguikema
October 25, 2023 20:04 38s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 20:04 38s
vmmplatsupport: support hpet emulation seL4Test #366: Pull request #117 synchronize by chrisguikema
October 25, 2023 20:04 15m 11s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 20:04 15m 11s
vmmplatsupport: support hpet emulation PR #316: Pull request #117 synchronize by chrisguikema
October 25, 2023 20:02 24s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 20:02 24s
vmmplatsupport: support hpet emulation seL4Test #365: Pull request #117 synchronize by chrisguikema
October 25, 2023 20:02 14m 45s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 20:02 14m 45s
vmmplatsupport: support hpet emulation CI #381: Pull request #117 synchronize by chrisguikema
October 25, 2023 20:02 36s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 20:02 36s
vmmplatsupport: support hpet emulation seL4Test #364: Pull request #117 opened by chrisguikema
October 25, 2023 19:39 15m 1s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 19:39 15m 1s
vmmplatsupport: support hpet emulation PR #315: Pull request #117 opened by chrisguikema
October 25, 2023 19:39 21s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 19:39 21s
vmmplatsupport: support hpet emulation CI #380: Pull request #117 opened by chrisguikema
October 25, 2023 19:39 31s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 25, 2023 19:39 31s
Guest ram fixes PR #314: Pull request #116 synchronize by chrisguikema
October 25, 2023 19:30 22s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 25, 2023 19:30 22s
Guest ram fixes CI #379: Pull request #116 synchronize by chrisguikema
October 25, 2023 19:30 35s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 25, 2023 19:30 35s