Skip to content

z3: bump version to 4.12.6 #170

z3: bump version to 4.12.6

z3: bump version to 4.12.6 #170

Triggered via pull request March 5, 2024 19:12
Status Failure
Total duration 15m 34s
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.