Skip to content

Actions: pulseengine/gale

Actions

Zephyr Kernel Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
zephyr-tests.yml
313 workflow runs
313 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
docs: optimization-story — strip unverified claims Zephyr Kernel Tests #313: Commit a8e1497 pushed by avrabe
44m 3s main
main
44m 3s
docs: optimization-story — system-level decision framework for pickin… Zephyr Kernel Tests #312: Commit 3e8deb5 pushed by avrabe
13m 30s main
main
13m 30s
docs: optimization-story — size companion + tradeoff matrix Zephyr Kernel Tests #311: Commit 136e61b pushed by avrabe
5m 12s main
main
5m 12s
docs: optimization-story — LTO measured, prediction was wrong Zephyr Kernel Tests #310: Commit 1935550 pushed by avrabe
57m 44s main
main
57m 44s
ci: add Renode bench lane under LLVM+LTO (closes #26) Zephyr Kernel Tests #309: Commit f450881 pushed by avrabe
1h 36m 58s main
main
1h 36m 58s
docs: archive the upstream-Zephyr LTO issue + comment we filed Zephyr Kernel Tests #308: Commit c77d6d6 pushed by avrabe
1h 22m 51s main
main
1h 22m 51s
docs: record the LLVM LTO inlining win in optimization-story (#10) Zephyr Kernel Tests #307: Commit 6b3dc0f pushed by avrabe
37m 23s main
main
37m 23s
ffi: redesign pipe sret returns to u64 — closes cross-lang LTO loop (… Zephyr Kernel Tests #306: Commit 3a25191 pushed by avrabe
1m 32s main
main
1m 32s
ffi: redesign sret returns to u64 — unblock cross-language LTO inlini… Zephyr Kernel Tests #305: Commit 7d89ed3 pushed by avrabe
26m 51s main
main
26m 51s
zephyr: match rustc target-cpu/features to clang for LTO inlining (#10) Zephyr Kernel Tests #304: Commit 8867c1e pushed by avrabe
1h 13m 0s main
main
1h 13m 0s
ci(llvm-lto): fix Build 3 baseline — was identical to Build 4 (#10) Zephyr Kernel Tests #303: Commit 2b7841b pushed by avrabe
53m 46s main
main
53m 46s
safety: STPA bundle for #9 batch 2 (FV-KH/MP/MB/TL/PL-002) Zephyr Kernel Tests #302: Commit dcc3d06 pushed by avrabe
31m 19s main
main
31m 19s
Revert "ffi: upgrade sem hot-path #[inline] to #[inline(always)]" + t… Zephyr Kernel Tests #301: Commit 20d97e4 pushed by avrabe
37m 13s main
main
37m 13s
ffi: upgrade sem hot-path #[inline] to #[inline(always)] (#10 experim… Zephyr Kernel Tests #300: Commit 99a1920 pushed by avrabe
44m 16s main
main
44m 16s
safety: rivet variant-handling design study + prototype feature model Zephyr Kernel Tests #299: Commit 4c94173 pushed by avrabe
31m 42s main
main
31m 42s
ffi: add #[inline] to hot-path sem FFI (LLVM LTO inlining experiment,… Zephyr Kernel Tests #298: Commit 9460426 pushed by avrabe
6m 39s main
main
6m 39s
safety: STPA closures for the 2026-04-24 parallel batch (C-9, U-17..1… Zephyr Kernel Tests #297: Commit f8053c0 pushed by avrabe
18m 40s main
main
18m 40s
ci: fix Rust CI + Fuzz Smoke regressions from 894c98e Zephyr Kernel Tests #296: Commit 1d7723a pushed by avrabe
35m 39s main
main
35m 39s
fix: port *_sched_locked allocator variants (closes #18) Zephyr Kernel Tests #295: Commit 96a01b9 pushed by avrabe
46m 9s main
main
46m 9s
heap: MODERATE free-list linkage checks (issue #15, PR-3) Zephyr Kernel Tests #294: Commit 88238af pushed by avrabe
39m 59s main
main
39m 59s
fuzz: precondition-erasure harness across 9 FFI decision functions Zephyr Kernel Tests #293: Commit eee3182 pushed by avrabe
29m 24s main
main
29m 24s
docs: update optimization-story with Renode-backed numbers Zephyr Kernel Tests #292: Commit cd13090 pushed by avrabe
46m 26s main
main
46m 26s
docs: spar conformance PoC writeup Zephyr Kernel Tests #291: Commit 3480106 pushed by avrabe
31m 15s main
main
31m 15s
safety: add U-11 / U-12 / U-13 (precondition-erasure class) Zephyr Kernel Tests #290: Commit 8d9edc2 pushed by avrabe
11m 49s main
main
11m 49s
bench: CTF Tier 1 tracing prototype (opt-in, experimental) Zephyr Kernel Tests #289: Commit 62c20a1 pushed by avrabe
24m 31s main
main
24m 31s