Skip to content
Hugs-CI

Update src/Test/QuickCheck/Test.hs #56

Sign in to view logs

Update src/Test/QuickCheck/Test.hs

Update src/Test/QuickCheck/Test.hs #56

Triggered via push March 20, 2024 22:01
@MaximilianAlgehedMaximilianAlgehed
pushed 1179ab6
PR-fix-discard-ratio-maxSuccess
Status Success
Total duration 33s
Artifacts –

hugs-ci.yml

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