Skip to content
Haskell-CI

Match new z3 output #846

Sign in to view logs

Match new z3 output

Match new z3 output #846

Triggered via push October 11, 2024 16:32
@LeventErkokLeventErkok
pushed 1509066
master
Status Success
Total duration 5m 54s
Artifacts –

haskell-ci.yml

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