Skip to content
Haskell-CI

Update CVC5 tested date #546

Sign in to view logs

Update CVC5 tested date

Update CVC5 tested date #546

Triggered via push December 5, 2023 19:03
@LeventErkokLeventErkok
pushed b91dea7
master
Status Success
Total duration 5m 1s
Artifacts –

haskell-ci.yml

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