Skip to content

Actions: seL4/microkit

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
545 workflow runs
545 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 PR #1221: Pull request #470 synchronize by Ivan-Velickovic
1m 38s manual_vcpu_fix
manual_vcpu_fix
1m 38s
vCPUs default to same core as PD managing them PR #1220: Pull request #470 opened by Ivan-Velickovic
38m 14s manual_vcpu_fix
manual_vcpu_fix
38m 14s
manual: mention cpu attribute for vCPUs PR #1219: Pull request #469 synchronize by Ivan-Velickovic
25m 28s manual_vcpu_fix
manual_vcpu_fix
25m 28s
manual: mention cpu attribute for vCPUs PR #1218: Pull request #469 opened by Ivan-Velickovic
1m 4s manual_vcpu_fix
manual_vcpu_fix
1m 4s
tool: simplify pv_offset use PR #1217: Pull request #468 synchronize by Ivan-Velickovic
53s pv_offset_simplify
pv_offset_simplify
53s
tool: simplify pv_offset use PR #1216: Pull request #468 opened by Ivan-Velickovic
23m 39s pv_offset_simplify
pv_offset_simplify
23m 39s
aarch64: Restrict address mappings in loader.rs PR #1215: Pull request #464 synchronize by bruelc
23m 0s bruelc:master-mmuloader
bruelc:master-mmuloader
23m 0s
loader,smp: Enable caches on all cores for shareability PR #1214: Pull request #465 synchronize by bruelc
23m 30s bruelc:master-cpusync
bruelc:master-cpusync
23m 30s
Add support for FPU flag for PDs PR #1213: Pull request #404 synchronize by Ivan-Velickovic
23m 6s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
23m 6s
Add support for FPU flag for PDs PR #1212: Pull request #404 synchronize by Ivan-Velickovic
24m 43s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
24m 43s
Add support for FPU flag for PDs PR #1211: Pull request #404 synchronize by Ivan-Velickovic
3m 35s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
3m 35s
Add support for FPU flag for PDs PR #1210: Pull request #404 synchronize by Ivan-Velickovic
48s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
48s
Add support for FPU flag for PDs PR #1209: Pull request #404 synchronize by Ivan-Velickovic
24m 8s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
24m 8s
loader,smp: Enable caches on all cores for shareability PR #1208: 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 PR #1207: 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 PR #1206: 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 PR #1205: 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 PR #1204: Pull request #455 synchronize by sfulham
Action required sfulham:main
sfulham:main
Action required
loader,smp: Enable caches on all cores for shareability PR #1203: Pull request #465 synchronize by bruelc
Action required bruelc:master-cpusync
bruelc:master-cpusync
Action required
aarch64: Restrict address mappings in loader.rs PR #1202: Pull request #464 synchronize by bruelc
Action required bruelc:master-mmuloader
bruelc:master-mmuloader
Action required
Add stm32mp2 support PR #1201: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
Add stm32mp2 support PR #1200: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
aarch64: Restrict address mappings in loader.rs PR #1199: Pull request #464 synchronize by bruelc
12m 7s bruelc:master-mmuloader
bruelc:master-mmuloader
12m 7s
aarch64: Restrict address mappings in loader.rs PR #1198: Pull request #464 synchronize by bruelc
Action required bruelc:master-mmuloader
bruelc:master-mmuloader
Action required
aarch64: Restrict address mappings in loader.rs PR #1197: Pull request #464 synchronize by bruelc
Action required bruelc:master-mmuloader
bruelc:master-mmuloader
Action required