Skip to content
Hugs-CI

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

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 #197

Triggered via pull request April 18, 2024 07:42
@MaximilianAlgehedMaximilianAlgehed
synchronize #376
PR-withCounterexample
Status Success
Total duration 10m 42s
Artifacts –

hugs-ci.yml

on: pull_request
Hugs-CI - Linux
14s
Hugs-CI - Linux
Fit to window
Zoom out
Zoom in