Skip to content
Tests

z3: bump version to 4.12.6 #54

Sign in to view logs

z3: bump version to 4.12.6

z3: bump version to 4.12.6 #54

Triggered via push March 5, 2024 13:32
@soraweesorawee
pushed 34d8e80
z3-bump-4-12-6
Status Failure
Total duration 9m 39s
Artifacts –

tests.yml

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

Annotations

2 errors
Racket 8.1 (CS)
Process completed with exit code 1.
Racket current (CS)
Process completed with exit code 1.