Skip to content

Actions: seL4/microkit

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
719 workflow runs
719 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

manual: document path_for_symbols CI #1495: Commit fc90d89 pushed by Ivan-Velickovic
40s main
main
40s
Add support for split program images CI #1494: Pull request #164 synchronize by Ivan-Velickovic
47s nspin:pr/split-program-image
nspin:pr/split-program-image
47s
example/rust: exclude microkit workspace CI #1493: Commit f697c12 pushed by Ivan-Velickovic
48s main
main
48s
Fix rust example bitrot + add x86_64 support to hierarchy and passive_server CI #1492: Pull request #435 synchronize by Ivan-Velickovic
39s au-ts:example_fixes
au-ts:example_fixes
39s
Fix rust example bitrot + add x86_64 support to hierarchy and passive_server CI #1491: Pull request #435 synchronize by Ivan-Velickovic
37s au-ts:example_fixes
au-ts:example_fixes
37s
Extract kernel object sizes from headers CI #1490: Pull request #456 synchronize by Ivan-Velickovic
43s object_sizes_from_kernel
object_sizes_from_kernel
43s
Extract kernel object sizes from headers CI #1489: Pull request #456 synchronize by Ivan-Velickovic
43s object_sizes_from_kernel
object_sizes_from_kernel
43s
Extract kernel object sizes from headers CI #1488: Pull request #456 synchronize by Ivan-Velickovic
43s object_sizes_from_kernel
object_sizes_from_kernel
43s
Extract kernel object sizes from headers CI #1487: Pull request #456 opened by Ivan-Velickovic
40s object_sizes_from_kernel
object_sizes_from_kernel
40s
loader: support spin table SMP booting CI #1486: Pull request #453 synchronize by Ivan-Velickovic
45s rpi4b_smp_fix
rpi4b_smp_fix
45s
tool: abstract functions in Microkit Tool for use as a library CI #1485: Pull request #455 opened by sfulham
Action required sfulham:main
sfulham:main
Action required
Fix IOAPIC Polarity. CI #1484: Pull request #454 opened by cazb2
Action required au-ts:callum/ioapic_polarity
au-ts:callum/ioapic_polarity
Action required
libmicrokit: add microkit_vcpu_x86_deferred_resume() call CI #1483: Pull request #431 synchronize by dreamliner787-9
28s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
28s
nix: minimise size of texlive closure CI #1482: Commit 19d9424 pushed by Ivan-Velickovic
35s main
main
35s
Domain schedules CI #1481: Pull request #445 synchronize by Kswin01
37s au-ts:run_time_domains
au-ts:run_time_domains
37s
loader: support spin table SMP booting CI #1480: Pull request #453 synchronize by Ivan-Velickovic
47s rpi4b_smp_fix
rpi4b_smp_fix
47s
loader: support spin table SMP booting CI #1479: Pull request #453 synchronize by Ivan-Velickovic
53s rpi4b_smp_fix
rpi4b_smp_fix
53s
loader: support spin table SMP booting CI #1478: Pull request #453 opened by Ivan-Velickovic
43s rpi4b_smp_fix
rpi4b_smp_fix
43s
nix: minimise size of texlive closure CI #1477: Pull request #452 opened by midnightveil
40s au-ts:julia/minimise-texlive-nix
au-ts:julia/minimise-texlive-nix
40s
\rust: remove target JSON requirement CI #1476: Commit cbb4088 pushed by Ivan-Velickovic
30s main
main
30s
rust: remove target JSON requirement CI #1475: Pull request #450 synchronize by midnightveil
46s au-ts:julia/remove-unstable-target-json
au-ts:julia/remove-unstable-target-json
46s
Update to Nix 25.11 CI #1474: Commit edef485 pushed by Ivan-Velickovic
37s main
main
37s
rust: remove target JSON requirement CI #1473: Pull request #450 synchronize by midnightveil
43s au-ts:julia/remove-unstable-target-json
au-ts:julia/remove-unstable-target-json
43s
Domain schedules CI #1472: Pull request #445 synchronize by Kswin01
39s au-ts:run_time_domains
au-ts:run_time_domains
39s
rust: remove target JSON requirement CI #1471: Pull request #450 synchronize by midnightveil
42s au-ts:julia/remove-unstable-target-json
au-ts:julia/remove-unstable-target-json
42s