Skip to content

zola, tamarin-prover: fix reproducibility (parallel codegen order; compile-time clock) - #525

Merged
bryan-minimal merged 3 commits into
mainfrom
bryan/zola-tamarin-repro
Aug 4, 2026
Merged

zola, tamarin-prover: fix reproducibility (parallel codegen order; compile-time clock)#525
bryan-minimal merged 3 commits into
mainfrom
bryan/zola-tamarin-repro

zola: deterministic build-time entropy shim — the actual fix

6ca9d7b
Select commit
Loading
Failed to load commit list.
Minimal buildbot / minimal build succeeded Aug 4, 2026 in 9m 55s

Summary

This check concluded as success.
View more details on Minimal buildbot