Skip to content

Actions: nick8325/quickcheck

Actions

Hugs-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hugs-ci.yml
472 workflow runs
472 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add quickCheckCounterexample Hugs-CI #97: Commit 118c9f9 pushed by MaximilianAlgehed
March 23, 2024 10:40 28s PR-withCounterexample
PR-withCounterexample
March 23, 2024 10:40 28s
Make Negative's arbitrary instance work like that of Positive Hugs-CI #96: Pull request #377 opened by Wheatwizard
March 22, 2024 16:08 25s master
master
March 22, 2024 16:08 25s
Provide some additional introduction to help users avoid a common Hugs-CI #95: Commit 34b18e9 pushed by MaximilianAlgehed
March 22, 2024 08:00 24s master
master
March 22, 2024 08:00 24s
Add withCounterexample to get a re-useable handle on counterexamples Hugs-CI #94: Pull request #376 opened by MaximilianAlgehed
March 21, 2024 14:59 4m 22s PR-withCounterexample
PR-withCounterexample
March 21, 2024 14:59 4m 22s
Add withCounterexample to get a re-useable handle on counterexamples + Hugs-CI #93: Commit dc0c3f2 pushed by MaximilianAlgehed
March 21, 2024 14:57 33s PR-withCounterexample
PR-withCounterexample
March 21, 2024 14:57 33s
Fix promote doing an unnecessary split (#373) Hugs-CI #92: Commit 8c26daf pushed by MaximilianAlgehed
March 21, 2024 14:16 30s master
master
March 21, 2024 14:16 30s
Document GHCi monomorphism pitfall Hugs-CI #91: Pull request #375 opened by MaximilianAlgehed
March 21, 2024 13:07 23m 49s PR-additional-introduction
PR-additional-introduction
March 21, 2024 13:07 23m 49s
Provide some additional introduction to help users avoid a common Hugs-CI #90: Commit 4196882 pushed by MaximilianAlgehed
March 21, 2024 13:06 17m 30s PR-additional-introduction
PR-additional-introduction
March 21, 2024 13:06 17m 30s
introduce discardUnless Hugs-CI #89: Pull request #374 opened by MaximilianAlgehed
March 21, 2024 12:51 25m 15s PR-suchThatDiscard
PR-suchThatDiscard
March 21, 2024 12:51 25m 15s
introduce suchThatDiscard Hugs-CI #88: Commit 428152f pushed by MaximilianAlgehed
March 21, 2024 12:50 19m 10s PR-suchThatDiscard
PR-suchThatDiscard
March 21, 2024 12:50 19m 10s
Add additional arbitrary instances Hugs-CI #87: Pull request #372 synchronize by MaximilianAlgehed
March 21, 2024 12:24 38m 1s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 12:24 38m 1s
move Small function isntance to Test.QuickCheck.Function Hugs-CI #86: Commit 7e01bf9 pushed by MaximilianAlgehed
March 21, 2024 12:24 30m 36s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 12:24 30m 36s
Fix promote doing an unnecessary split Hugs-CI #85: Pull request #373 opened by MaximilianAlgehed
March 21, 2024 12:22 25m 6s PR-fix-promote
PR-fix-promote
March 21, 2024 12:22 25m 6s
Fix promote doing an unnecessary split Hugs-CI #84: Commit fb2ed76 pushed by MaximilianAlgehed
March 21, 2024 12:22 19m 8s PR-fix-promote
PR-fix-promote
March 21, 2024 12:22 19m 8s
too flaky Hugs-CI #83: Commit 3479a1a pushed by MaximilianAlgehed
March 21, 2024 12:21 11m 26s PR-fix-promote
PR-fix-promote
March 21, 2024 12:21 11m 26s
Add additional arbitrary instances Hugs-CI #82: Pull request #372 synchronize by MaximilianAlgehed
March 21, 2024 12:19 6m 52s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 12:19 6m 52s
CoArbitrary and Function for Small Hugs-CI #81: Commit 6c4eb24 pushed by MaximilianAlgehed
March 21, 2024 12:19 31s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 12:19 31s
Add additional arbitrary instances Hugs-CI #80: Pull request #372 synchronize by MaximilianAlgehed
March 21, 2024 11:03 19m 11s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 11:03 19m 11s
Min and Max from Semigroup Hugs-CI #79: Commit cae124f pushed by MaximilianAlgehed
March 21, 2024 11:03 12m 26s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 11:03 12m 26s
Add additional arbitrary instances Hugs-CI #78: Pull request #372 synchronize by MaximilianAlgehed
March 21, 2024 10:51 17m 32s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 10:51 17m 32s
Function instances Hugs-CI #77: Commit e126be2 pushed by MaximilianAlgehed
March 21, 2024 10:51 11m 25s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 10:51 11m 25s
Add additional arbitrary instances Hugs-CI #76: Pull request #372 synchronize by MaximilianAlgehed
March 21, 2024 10:38 18m 1s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 10:38 18m 1s
instances of CoArbitrary Hugs-CI #75: Commit 04769c6 pushed by MaximilianAlgehed
March 21, 2024 10:38 11m 31s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 10:38 11m 31s
Add additional arbitrary instances Hugs-CI #74: Pull request #372 synchronize by MaximilianAlgehed
March 21, 2024 10:33 10m 19s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 10:33 10m 19s
add instance for NonEmpty Hugs-CI #73: Commit cbe44c4 pushed by MaximilianAlgehed
March 21, 2024 10:33 4m 0s PR-more-arbitrary-instances
PR-more-arbitrary-instances
March 21, 2024 10:33 4m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-03-21 or the other filters available.