Skip to content
Haskell-CI

match new z3 output #771

Sign in to view logs

match new z3 output

match new z3 output #771

Triggered via push September 16, 2024 18:28
@LeventErkokLeventErkok
pushed 7eb37dd
arraySimp
Status Success
Total duration 5m 54s
Artifacts –

haskell-ci.yml

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