Skip to content
Haskell-CI

Revert "match new z3 output" #523

Sign in to view logs

Revert "match new z3 output"

Revert "match new z3 output" #523

Triggered via push November 20, 2023 21:33
@LeventErkokLeventErkok
pushed 632d65d
master
Status Failure
Total duration 4m 3s
Artifacts –

haskell-ci.yml

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

Annotations

1 error
Haskell-CI - Linux - ghc-9.8.1
Process completed with exit code 1.