Skip to content

Move VERSION.txt to scripts directory and update all references#7811

Merged
NikolajBjorner merged 2 commits into
masterfrom
copilot/fix-c56d64d5-753c-48f0-9e5e-fe38c574e215
Aug 24, 2025
Merged

Move VERSION.txt to scripts directory and update all references#7811
NikolajBjorner merged 2 commits into
masterfrom
copilot/fix-c56d64d5-753c-48f0-9e5e-fe38c574e215

Move VERSION.txt to scripts/ and update all references

8280102
Select commit
Loading
Failed to load commit list.
Azure Pipelines / Z3 CI (Ubuntu with OCaml on z3-static) succeeded Aug 24, 2025 in 35m 28s

Ubuntu with OCaml on z3-static succeeded

0 errors / 0 warnings

View more details on Azure Pipelines