Skip to content

z3: bump version to 4.12.6 #168

z3: bump version to 4.12.6

z3: bump version to 4.12.6 #168

Triggered via pull request March 5, 2024 14:48
Status Failure
Total duration 14m 48s
Artifacts

tests.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Racket 8.1 (CS)
Process completed with exit code 1.
Racket current (CS)
The job was canceled because "_8_1_CS_false" failed.
Racket current (CS)
The operation was canceled.