Skip to content

Build version metadata before proofauto - #873

Merged
andrew-appel merged 1 commit into
PrincetonUniversity:masterfrom
remix7531:proofauto-version-dependency
Nov 9, 2026
Merged

andrew-appel merged 1 commit into
PrincetonUniversity:masterfrom
remix7531:proofauto-version-dependency

Build version metadata before proofauto

5728835
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

11 warnings and 1 notice
build (dev, 64, vst)
succeeded Nov 5, 2026 in 17m 10s