Skip to content
Haskell-CI

Update cvc5 tested date #872

Sign in to view logs

Update cvc5 tested date

Update cvc5 tested date #872

Triggered via push November 25, 2024 16:23
@LeventErkokLeventErkok
pushed f3ba038
master
Status Success
Total duration 6m 36s
Artifacts –

haskell-ci.yml

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