Skip to content
Haskell-CI

Update CVC5 tested date and match new output from CVC5 #542

Sign in to view logs

Update CVC5 tested date and match new output from CVC5

Update CVC5 tested date and match new output from CVC5 #542

Triggered via push November 30, 2023 02:48
@LeventErkokLeventErkok
pushed d780fed
master
Status Success
Total duration 5m 3s
Artifacts –

haskell-ci.yml

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