Skip to content
Vet nixpkgs

[Backport release-24.11] z3_4_12: 4.12.5 -> 4.12.6; z3_4_13: init at 4.13.4; fix Z3 builds #105735

Sign in to view logs

[Backport release-24.11] z3_4_12: 4.12.5 -> 4.12.6; z3_4_13: init at 4.13.4; fix Z3 builds

[Backport release-24.11] z3_4_12: 4.12.5 -> 4.12.6; z3_4_13: init at 4.13.4; fix Z3 builds #105735

get-merge-commit  /  resolve-merge-commit

get-merge-commit / resolve-merge-commit
succeeded Feb 8, 2025 in 3s