Skip to content
Tests

z3: bump version to 4.12.6 #167

Sign in to view logs

z3: bump version to 4.12.6

z3: bump version to 4.12.6 #167

Triggered via pull request March 5, 2024 13:32
@soraweesorawee
opened #279
sorawee:z3-bump-4-12-6
Status Failure
Total duration 9m 55s
Artifacts –

tests.yml

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

Annotations

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