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

Triggered via pull request February 8, 2025 23:52

numinit

synchronize #374875

Status Success

Total duration 58s

Artifacts –

nixpkgs-vet.yml

on: pull_request_target

get-merge-commit / resolve-merge-commit