Skip to content
Vet nixpkgs

z3: fix 4.8.5 compile on Python 3.12; z3_4_12: 4.12.5 -> 4.12.6; z3_4_13: init at 4.13.3 #25118

Sign in to view logs

z3: fix 4.8.5 compile on Python 3.12; z3_4_12: 4.12.5 -> 4.12.6; z3_4_13: init at 4.13.3

z3: fix 4.8.5 compile on Python 3.12; z3_4_12: 4.12.5 -> 4.12.6; z3_4_13: init at 4.13.3 #25118

Triggered via pull request October 17, 2024 03:21
@numinitnuminit
synchronize #327052
Status Success
Total duration 58s
Artifacts –

nixpkgs-vet.yml

on: pull_request_target
nixpkgs-vet
48s
nixpkgs-vet
Fit to window
Zoom out
Zoom in