Skip to content

Actions: au-ts/microkit

Actions

SDK

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sdk.yaml
108 workflow runs
108 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
Loader name consistency SDK #108: Commit dd818c1 pushed by midnightveil
3m 27s main
main
3m 27s
tool: add --override-kernel option SDK #107: Commit 70a94fd pushed by midnightveil
15m 20s main
main
15m 20s
Fix loader link address for tqma8xqp1gb SDK #106: Commit fa13e1b pushed by dreamliner787-9
3m 24s main
main
3m 24s
draft: add microkit CI SDK #105: Pull request #4 opened by midnightveil
3m 52s julia/ci
julia/ci
3m 52s
manual: format fix SDK #104: Commit 2130325 pushed by dreamliner787-9
1d 0h 0m 1s main
main
1d 0h 0m 1s
Start 2.2.0-dev release cycle SDK #103: Commit c83d507 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
ci: fix version script for non-dev versions SDK #102: Commit a9fefb4 pushed by dreamliner787-9
1d 0h 0m 1s main
main
1d 0h 0m 1s
platforms.yml: add x86 platforms SDK #101: Commit 25fb2e2 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
lib.rs: fix paren warnings SDK #100: Commit 84b4693 pushed by dreamliner787-9
1d 0h 0m 3s main
main
1d 0h 0m 3s
monitor: lazy Scheduling Context rebind SDK #99: Commit 3664106 pushed by dreamliner787-9
1d 0h 0m 1s main
main
1d 0h 0m 1s
manual: mention ioport as child element SDK #98: Commit da0ca91 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
manual: various fixes SDK #97: Commit e846634 pushed by dreamliner787-9
1d 0h 0m 1s main
main
1d 0h 0m 1s
manual: minor fixes SDK #96: Commit 27f585a pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
libmicrokit: improve __assert_fail SDK #95: Commit 1c2ad53 pushed by dreamliner787-9
1d 0h 0m 1s main
main
1d 0h 0m 1s
tool: fix setvar with paddr on x86-64 SDK #94: Commit f7a48b4 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
tool: emit empty strtab when serialising ELF SDK #93: Commit 2d5a1a6 pushed by Willmish
1d 0h 0m 2s main
main
1d 0h 0m 2s
tool: fix clippy SDK #92: Commit 40a2c91 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
loader: hot-fix for RPi4B SDK #91: Commit 23f1f6d pushed by dreamliner787-9
1d 0h 0m 1s main
main
1d 0h 0m 1s
tool: fix version in Linux uImage header SDK #90: Commit 119044f pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
Apply SMP config to all ARM boards SDK #89: Commit 603ee84 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
tool: minor error message style SDK #88: Commit 1358de4 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
flake.nix: add explicit gnutar SDK #87: Commit da779c9 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
tool: capdl-spec -> capdl-json SDK #86: Commit e52c402 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
dev_build.py: fix for cargo workspace changes SDK #85: Commit 107c56f pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s
(Re-)allow PD priority of 254 SDK #84: Commit 2ea1e30 pushed by dreamliner787-9
1d 0h 0m 2s main
main
1d 0h 0m 2s