Skip to content

z3: 4.8.17 -> 4.13.4; z3_4_12: 4.12.5 -> 4.12.6 #38045

z3: 4.8.17 -> 4.13.4; z3_4_12: 4.12.5 -> 4.12.6

z3: 4.8.17 -> 4.13.4; z3_4_12: 4.12.5 -> 4.12.6 #38045

Triggered via pull request January 12, 2025 01:49
@numinitnuminit
synchronize #327052
Status Success
Total duration 55s
Artifacts

editorconfig-v2.yml

on: pull_request_target
get-merge-commit  /  resolve-merge-commit
4s
get-merge-commit / resolve-merge-commit
editorconfig-check
36s
editorconfig-check
Fit to window
Zoom out
Zoom in