Skip to content
Haskell-CI

KD: Make cvc5 easier to use from KD #816

Sign in to view logs

KD: Make cvc5 easier to use from KD

KD: Make cvc5 easier to use from KD #816

Triggered via push September 21, 2024 00:03
@LeventErkokLeventErkok
pushed 478e550
master
Status Success
Total duration 5m 45s
Artifacts –

haskell-ci.yml

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