Skip to content

Actions: well-typed/falsify

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
45 workflow runs
45 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge pull request #73 from pgujjula/allow-ghc-9.10
Haskell-CI #238: Commit 6222b6e pushed by edsko
May 23, 2024 07:01 5m 31s main
May 23, 2024 07:01 5m 31s
Allow ghc-9.10
Haskell-CI #237: Pull request #73 opened by pgujjula
May 23, 2024 06:18 5m 57s pgujjula:allow-ghc-9.10
May 23, 2024 06:18 5m 57s
Merge pull request #72 from pgujjula/allow-ghc-9.8
Haskell-CI #236: Commit e1b5115 pushed by edsko
May 18, 2024 05:51 5m 39s main
May 18, 2024 05:51 5m 39s
Allow ghc 9.8
Haskell-CI #235: Pull request #72 opened by pgujjula
May 15, 2024 17:59 5m 46s pgujjula:allow-ghc-9.8
May 15, 2024 17:59 5m 46s
Merge pull request #69 from ejconlon/ejconlon/bump-optparse
Haskell-CI #234: Commit 7c12a92 pushed by edsko
January 19, 2024 10:25 5m 47s main
January 19, 2024 10:25 5m 47s
Relax upper bound for optparse-applicative
Haskell-CI #233: Pull request #69 opened by ejconlon
December 22, 2023 00:48 6m 2s ejconlon:ejconlon/bump-optparse
December 22, 2023 00:48 6m 2s
Merge pull request #68 from well-typed/edsko/release-0.2.0
Haskell-CI #232: Commit b4ced3e pushed by edsko
November 8, 2023 14:10 8m 11s main
November 8, 2023 14:10 8m 11s
Prepare for release 0.2.0
Haskell-CI #231: Pull request #68 synchronize by edsko
November 8, 2023 14:04 5m 46s edsko/release-0.2.0
November 8, 2023 14:04 5m 46s
Prepare for release 0.2.0
Haskell-CI #230: Commit d4cf4ec pushed by edsko
November 8, 2023 14:04 5m 27s edsko/release-0.2.0
November 8, 2023 14:04 5m 27s
Prepare for release 0.2.0
Haskell-CI #229: Pull request #68 synchronize by edsko
November 8, 2023 13:50 4m 27s edsko/release-0.2.0
November 8, 2023 13:50 4m 27s
Prepare for release 0.2.0
Haskell-CI #228: Commit aeb041d pushed by edsko
November 8, 2023 13:50 5m 21s edsko/release-0.2.0
November 8, 2023 13:50 5m 21s
Prepare for release 0.2.0
Haskell-CI #227: Pull request #68 synchronize by edsko
November 8, 2023 13:39 10m 3s edsko/release-0.2.0
November 8, 2023 13:39 10m 3s
Prepare for release 0.2.0
Haskell-CI #226: Commit abb2eb8 pushed by edsko
November 8, 2023 13:39 7m 52s edsko/release-0.2.0
November 8, 2023 13:39 7m 52s
Prepare for release 0.2.0
Haskell-CI #225: Pull request #68 opened by edsko
November 8, 2023 13:39 8m 32s edsko/release-0.2.0
November 8, 2023 13:39 8m 32s
Prepare for release 0.2.0
Haskell-CI #224: Commit 8c6a7f6 pushed by edsko
November 8, 2023 13:38 8m 27s edsko/release-0.2.0
November 8, 2023 13:38 8m 27s
Merge pull request #64 from ejconlon/ejconlon/expose
Haskell-CI #223: Commit 51fc95d pushed by edsko
August 14, 2023 06:50 4m 52s main
August 14, 2023 06:50 4m 52s
Add GenDefault to exposed modules
Haskell-CI #222: Pull request #64 synchronize by ejconlon
August 11, 2023 21:01 6m 15s ejconlon:ejconlon/expose
August 11, 2023 21:01 6m 15s
Add GenDefault to exposed modules
Haskell-CI #221: Pull request #64 synchronize by ejconlon
August 11, 2023 18:43 5m 46s ejconlon:ejconlon/expose
August 11, 2023 18:43 5m 46s
Add GenDefault to exposed modules
Haskell-CI #220: Pull request #64 opened by ejconlon
August 9, 2023 17:01 5m 58s ejconlon:ejconlon/expose
August 9, 2023 17:01 5m 58s
Merge pull request #61 from ejconlon/ejconlon/default
Haskell-CI #219: Commit 166c9ab pushed by edsko
August 9, 2023 08:21 9m 31s main
August 9, 2023 08:21 9m 31s
GenDefault class to derive generators
Haskell-CI #218: Pull request #61 synchronize by ejconlon
August 8, 2023 18:14 10m 41s ejconlon:ejconlon/default
August 8, 2023 18:14 10m 41s
WIP: First draft of testPropertyIO. Needs refactor before merge
Haskell-CI #217: Pull request #62 synchronize by voidus
July 17, 2023 11:35 9m 51s voidus:testPropertyIO
July 17, 2023 11:35 9m 51s
Add a few text-related generators
Haskell-CI #216: Pull request #56 synchronize by voidus
July 16, 2023 23:13 5m 21s voidus:text
July 16, 2023 23:13 5m 21s
Add a few text-related generators
Haskell-CI #215: Pull request #56 synchronize by voidus
July 16, 2023 22:57 5m 50s voidus:text
July 16, 2023 22:57 5m 50s
Add a few text-related generators
Haskell-CI #214: Pull request #56 synchronize by voidus
July 16, 2023 22:52 4m 43s voidus:text
July 16, 2023 22:52 4m 43s