Skip to content

Compile BuiltinData transparently in the plugin - #7863

Open
Unisay wants to merge 7 commits into
masterfrom
yura/builtin-data-transparent
Open

Compile BuiltinData transparently in the plugin#7863
Unisay wants to merge 7 commits into
masterfrom
yura/builtin-data-transparent

Regenerate constitution and bitwise UPLC goldens

47bb1f4
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/eval succeeded Jul 24, 2026 in 12s

Evaluation succeeded

Checkout took 1 min 35s.
Evaluation took 37 min 33s.

View more details on IOG Hydra