Skip to content

Actions: well-typed/falsify

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
96 workflow runs
96 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Change how we deal with Marked Haskell-CI #159: Commit 2e142a8 pushed by edsko
April 1, 2023 16:56 4m 14s edsko/improve-range-handling
edsko/improve-range-handling
April 1, 2023 16:56 4m 14s
Change how we deal with Marked Haskell-CI #158: Commit c768ae0 pushed by edsko
April 1, 2023 16:54 4m 49s edsko/improve-range-handling
edsko/improve-range-handling
April 1, 2023 16:54 4m 49s
Merge pull request #38 from well-typed/edsko/continue-howtospecifyit Haskell-CI #157: Commit 5288a7b pushed by edsko
April 1, 2023 07:35 4m 35s main
main
April 1, 2023 07:35 4m 35s
Continue "How to specify it" Haskell-CI #156: Pull request #38 opened by edsko
April 1, 2023 07:30 4m 43s edsko/continue-howtospecifyit
edsko/continue-howtospecifyit
April 1, 2023 07:30 4m 43s
Simplify Range Haskell-CI #155: Commit d8efefe pushed by edsko
April 1, 2023 07:29 4m 38s edsko/continue-howtospecifyit
edsko/continue-howtospecifyit
April 1, 2023 07:29 4m 38s
Merge pull request #37 from well-typed/edsko/test-minimum Haskell-CI #154: Commit ed5e840 pushed by edsko
March 31, 2023 12:45 4m 55s main
main
March 31, 2023 12:45 4m 55s
testMinimum Haskell-CI #153: Pull request #37 synchronize by edsko
March 31, 2023 12:39 4m 52s edsko/test-minimum
edsko/test-minimum
March 31, 2023 12:39 4m 52s
Fix shrinking Haskell-CI #152: Commit 45bf440 pushed by edsko
March 31, 2023 12:39 4m 38s edsko/test-minimum
edsko/test-minimum
March 31, 2023 12:39 4m 38s
testMinimum Haskell-CI #151: Pull request #37 synchronize by edsko
March 31, 2023 07:54 4m 3s edsko/test-minimum
edsko/test-minimum
March 31, 2023 07:54 4m 3s
Fix shrinking Haskell-CI #150: Commit d895475 pushed by edsko
March 31, 2023 07:53 4m 54s edsko/test-minimum
edsko/test-minimum
March 31, 2023 07:53 4m 54s
testMinimum Haskell-CI #149: Pull request #37 synchronize by edsko
March 30, 2023 18:27 4m 22s edsko/test-minimum
edsko/test-minimum
March 30, 2023 18:27 4m 22s
Fix testMinimum Haskell-CI #148: Commit 7eb7f95 pushed by edsko
March 30, 2023 18:27 4m 31s edsko/test-minimum
edsko/test-minimum
March 30, 2023 18:27 4m 31s
testMinimum Haskell-CI #147: Pull request #37 opened by edsko
March 30, 2023 16:35 4m 36s edsko/test-minimum
edsko/test-minimum
March 30, 2023 16:35 4m 36s
Add test for minimum shuffled list Haskell-CI #146: Commit 0114e78 pushed by edsko
March 30, 2023 16:34 4m 29s edsko/test-minimum
edsko/test-minimum
March 30, 2023 16:34 4m 29s
Merge pull request #36 from well-typed/edsko/continue-specify Haskell-CI #145: Commit fe6265c pushed by edsko
March 30, 2023 14:02 8m 28s main
main
March 30, 2023 14:02 8m 28s
Continue "How to specify it" Haskell-CI #144: Pull request #36 synchronize by edsko
March 30, 2023 13:57 4m 54s edsko/continue-specify
edsko/continue-specify
March 30, 2023 13:57 4m 54s
Generalize path (old behaviour is now pathAny) Haskell-CI #143: Commit c2392da pushed by edsko
March 30, 2023 13:57 4m 52s edsko/continue-specify
edsko/continue-specify
March 30, 2023 13:57 4m 52s
Continue "How to specify it" Haskell-CI #142: Pull request #36 synchronize by edsko
March 29, 2023 10:26 4m 49s edsko/continue-specify
edsko/continue-specify
March 29, 2023 10:26 4m 49s
Shuffle Haskell-CI #141: Commit 9fa08fa pushed by edsko
March 29, 2023 10:26 4m 59s edsko/continue-specify
edsko/continue-specify
March 29, 2023 10:26 4m 59s
Continue "How to specify it" Haskell-CI #140: Pull request #36 opened by edsko
March 29, 2023 05:32 7m 53s edsko/continue-specify
edsko/continue-specify
March 29, 2023 05:32 7m 53s
WIP: Shuffle Haskell-CI #139: Commit 21d646e pushed by edsko
March 29, 2023 05:32 8m 10s edsko/continue-specify
edsko/continue-specify
March 29, 2023 05:32 8m 10s