Skip to content

Actions: pulseengine/gale

Actions

Zephyr Kernel Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
zephyr-tests.yml
316 workflow runs
316 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
[temper] Configuration update Zephyr Kernel Tests #316: Pull request #29 opened by temper-pulseengine Bot
Queued bot/config-update-1777528098294
bot/config-update-1777528098294
Queued
flight: macro bench composing 5 primitives + audit fixes (B1-B5, D6) Zephyr Kernel Tests #315: Pull request #28 opened by avrabe
Queued experiment/macro-bench-flight-control
experiment/macro-bench-flight-control
Queued
synth: cross-Renode A/B confirms gale's −34.5% delta is real, not simulator-artifactual Zephyr Kernel Tests #314: Pull request #27 opened by avrabe
Queued experiment/gale-via-synth
experiment/gale-via-synth
Queued
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