Skip to content
Hugs-CI

Add withCounterexample to get a re-useable handle on counterexamples + #93

Sign in to view logs

Add withCounterexample to get a re-useable handle on counterexamples +

Add withCounterexample to get a re-useable handle on counterexamples + #93

Triggered via push March 21, 2024 14:57
@MaximilianAlgehedMaximilianAlgehed
pushed dc0c3f2
PR-withCounterexample
Status Success
Total duration 33s
Artifacts –

hugs-ci.yml

on: push
Hugs-CI - Linux
22s
Hugs-CI - Linux
Fit to window
Zoom out
Zoom in