Blog auto-publish status

[github-actions]

Blog auto-publish · last run 2026-04-26

This run: no posts ready to publish today.

Scheduled (2):

• 2026-04-29 · overdoing-the-verification-chain — Overdoing the verification chain — and mapping it to six safety domains
• 2026-04-30 · variant-pruning-rust-mcdc — MC/DC for AI-authored Rust is tractable — the variant-pruning argument

Held (1):

• ∞ · witness-wasm-mcdc — witness — MC/DC for the WebAssembly component model

Run: https://github.com/pulseengine/pulseengine.eu/actions/runs/24950462071

[github-actions]

Blog auto-publish · last run 2026-04-28

This run: no posts ready to publish today.

Scheduled (3):

• 2026-04-29 · overdoing-the-verification-chain — Overdoing the verification chain — and mapping it to six safety domains
• 2026-04-30 · variant-pruning-rust-mcdc — MC/DC for AI-authored Rust is tractable — the variant-pruning argument
• 2026-05-01 · cross-language-lto-three-quiet-barriers — Cross-language LTO on Cortex-M: three barriers and a wrong prediction

Held (1):

• ∞ · witness-wasm-mcdc — witness — MC/DC for the WebAssembly component model

Run: https://github.com/pulseengine/pulseengine.eu/actions/runs/25042386123