Search results

WASM component build hygiene: no .bazelignore + wasm_component.rs escapes the CI lint gate

Status: Open.

#14 In pulseengine/wohl;

· avrabe opened on May 20, 2026

Phase 3: Field door sensor firmware — STM32WL55 sub-GHz + CAN-FD, transport-agnostic CCSDS

Status: Open.

#10 In pulseengine/wohl;

· avrabe opened on May 20, 2026

CI follow-ups: matrix split, pinned siblings, cargo-deny, bazel build, nightly long-fuzz

Status: Open.

#8 In pulseengine/wohl;

· avrabe opened on May 19, 2026

Track D: Add Verus proofs to wohl-alert dispatcher dedup invariant

Status: Open.

#7 In pulseengine/wohl;

· avrabe opened on May 19, 2026

Follow-ups from PR #4 reviewer feedback (AADL traceability + minor)

Status: Open.

#5 In pulseengine/wohl;

· avrabe opened on May 19, 2026

Add GitHub Actions CI for Kani + proptest + fuzz verification

Status: Open.

#1 In pulseengine/wohl;

· avrabe opened on Apr 22, 2026