Skip to content

Actions: seL4/microkit

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
717 workflow runs
717 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
vCPUs default to same core as PD managing them CI #1566: Commit 1954875 pushed by Ivan-Velickovic
1m 11s main
main
1m 11s
vCPUs default to same core as PD managing them CI #1565: Pull request #470 synchronize by Ivan-Velickovic
1m 17s manual_vcpu_fix
manual_vcpu_fix
1m 17s
vCPUs default to same core as PD managing them CI #1564: Pull request #470 opened by Ivan-Velickovic
56s manual_vcpu_fix
manual_vcpu_fix
56s
manual: mention cpu attribute for vCPUs CI #1563: Pull request #469 synchronize by Ivan-Velickovic
46s manual_vcpu_fix
manual_vcpu_fix
46s
manual: mention cpu attribute for vCPUs CI #1562: Pull request #469 opened by Ivan-Velickovic
1m 7s manual_vcpu_fix
manual_vcpu_fix
1m 7s
tool: simplify pv_offset use CI #1561: Commit cbc4c9d pushed by Ivan-Velickovic
52s main
main
52s
tool: simplify pv_offset use CI #1560: Pull request #468 synchronize by Ivan-Velickovic
48s pv_offset_simplify
pv_offset_simplify
48s
tool: simplify pv_offset use CI #1559: Pull request #468 opened by Ivan-Velickovic
36s pv_offset_simplify
pv_offset_simplify
36s
aarch64: Restrict address mappings in loader.rs CI #1558: Pull request #464 synchronize by bruelc
42s bruelc:master-mmuloader
bruelc:master-mmuloader
42s
loader,smp: Enable caches on all cores for shareability CI #1557: Pull request #465 synchronize by bruelc
42s bruelc:master-cpusync
bruelc:master-cpusync
42s
manual: format fix CI #1556: Commit 2130325 pushed by Ivan-Velickovic
38s main
main
38s
Add support for FPU flag for PDs CI #1555: Pull request #404 synchronize by Ivan-Velickovic
39s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
39s
Add support for FPU flag for PDs CI #1554: Pull request #404 synchronize by Ivan-Velickovic
44s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
44s
Add support for FPU flag for PDs CI #1553: Pull request #404 synchronize by Ivan-Velickovic
44s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
44s
Add support for FPU flag for PDs CI #1552: Pull request #404 synchronize by Ivan-Velickovic
44s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
44s
Add support for FPU flag for PDs CI #1551: Pull request #404 synchronize by Ivan-Velickovic
50s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
50s
loader,smp: Enable caches on all cores for shareability CI #1550: Pull request #465 synchronize by bruelc
Action required bruelc:master-cpusync
bruelc:master-cpusync
Action required
tool: abstract functions in Microkit Tool for use as a library CI #1549: Pull request #455 synchronize by sfulham
Action required sfulham:main
sfulham:main
Action required
tool: abstract functions in Microkit Tool for use as a library CI #1548: Pull request #455 synchronize by sfulham
Action required sfulham:main
sfulham:main
Action required
tool: abstract functions in Microkit Tool for use as a library CI #1547: Pull request #455 synchronize by sfulham
Action required sfulham:main
sfulham:main
Action required
tool: abstract functions in Microkit Tool for use as a library CI #1546: Pull request #455 synchronize by sfulham
Action required sfulham:main
sfulham:main
Action required
loader,smp: Enable caches on all cores for shareability CI #1545: Pull request #465 synchronize by bruelc
Action required bruelc:master-cpusync
bruelc:master-cpusync
Action required
aarch64: Restrict address mappings in loader.rs CI #1544: Pull request #464 synchronize by bruelc
Action required bruelc:master-mmuloader
bruelc:master-mmuloader
Action required
Add stm32mp2 support CI #1543: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
Add stm32mp2 support CI #1542: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required