Skip to content
Check whether nix files are parseable v2

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

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 #51716

get-merge-commit  /  resolve-merge-commit

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