Skip to content

Actions: well-typed/quickcheck-lockstep

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #26 from well-typed/jdral/monitor-all-responses Haskell CI #17: Commit 845cd66 pushed by github-merge-queue bot
January 15, 2025 09:53 4m 12s main
main
January 15, 2025 09:53 4m 12s
Print all responses in counterexamples Haskell CI #16: Pull request #26 synchronize by jorisdral
January 15, 2025 09:48 3m 49s jdral/monitor-all-responses
jdral/monitor-all-responses
January 15, 2025 09:48 3m 49s
Print all responses in counterexamples Haskell CI #15: Pull request #26 synchronize by jorisdral
January 7, 2025 10:21 2m 35s jdral/monitor-all-responses
jdral/monitor-all-responses
January 7, 2025 10:21 2m 35s
Print all responses in counterexamples Haskell CI #14: Pull request #26 opened by jorisdral
January 7, 2025 09:57 3m 38s jdral/monitor-all-responses
jdral/monitor-all-responses
January 7, 2025 09:57 3m 38s
Merge pull request #25 from well-typed/jdral/model-var-context Haskell CI #13: Commit 5170357 pushed by jorisdral
December 3, 2024 16:05 4m 2s main
main
December 3, 2024 16:05 4m 2s
Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables Haskell CI #12: Pull request #25 synchronize by jorisdral
December 3, 2024 16:02 3m 36s jdral/model-var-context
jdral/model-var-context
December 3, 2024 16:02 3m 36s
Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables Haskell CI #11: Pull request #25 synchronize by jorisdral
November 4, 2024 10:32 3m 4s jdral/model-var-context
jdral/model-var-context
November 4, 2024 10:32 3m 4s
Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables Haskell CI #10: Pull request #25 synchronize by jorisdral
November 4, 2024 10:27 3m 20s jdral/model-var-context
jdral/model-var-context
November 4, 2024 10:27 3m 20s
Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables Haskell CI #9: Pull request #25 opened by jorisdral
October 14, 2024 21:18 4m 57s jdral/model-var-context
jdral/model-var-context
October 14, 2024 21:18 4m 57s
Merge pull request #24 from well-typed/jdral/quickcheck-lockstep-0.5.1 Haskell CI #8: Commit 0d6cc0f pushed by jorisdral
August 27, 2024 14:55 2m 46s main
main
August 27, 2024 14:55 2m 46s
Release quickcheck-lockstep-0.5.1 Haskell CI #7: Pull request #24 synchronize by jorisdral
August 27, 2024 14:52 2m 47s jdral/quickcheck-lockstep-0.5.1
jdral/quickcheck-lockstep-0.5.1
August 27, 2024 14:52 2m 47s
Release quickcheck-lockstep-0.5.1 Haskell CI #6: Pull request #24 opened by jorisdral
August 27, 2024 14:49 2m 39s jdral/quickcheck-lockstep-0.5.1
jdral/quickcheck-lockstep-0.5.1
August 27, 2024 14:49 2m 39s
Merge pull request #23 from well-typed/jdral/bump-deps Haskell CI #5: Commit ad6851f pushed by jorisdral
August 27, 2024 14:44 3m 36s main
main
August 27, 2024 14:44 3m 36s
Bump containers and QuickCheck dependencies, allow ghc-9.10, update GHA Haskell CI #4: Pull request #23 synchronize by jorisdral
August 27, 2024 14:41 2m 41s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:41 2m 41s
Bump containers and QuickCheck dependencies, allow ghc-9.10, update GHA Haskell CI #3: Pull request #23 synchronize by jorisdral
August 27, 2024 14:38 2m 41s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:38 2m 41s
Bump containers and QuickCheck dependencies, allow ghc-9.10, update GHA Haskell CI #2: Pull request #23 synchronize by jorisdral
August 27, 2024 14:34 3m 0s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:34 3m 0s
Bump containers and QuickCheck dependencies, allow ghc-9.10, update GHA Haskell CI #1: Pull request #23 synchronize by jorisdral
August 27, 2024 14:25 3m 20s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:25 3m 20s
Bump containers and QuickCheck dependencies, allow ghc-9.10, update GHA Haskell-CI #81: Pull request #23 synchronize by jorisdral
August 27, 2024 14:18 2m 44s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:18 2m 44s
Use actions/checkout@v4 in haskell-ci.yml Haskell-CI #80: Commit f6e4756 pushed by jorisdral
August 27, 2024 14:17 2m 33s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:17 2m 33s
Bump containers and QuickCheck dependencies, allow ghc-9.10, update GHA Haskell-CI #79: Pull request #23 synchronize by jorisdral
August 27, 2024 14:14 2m 34s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:14 2m 34s
Run haskell-ci.yml with Ubuntu-22.04 Haskell-CI #78: Commit 4f3d346 pushed by jorisdral
August 27, 2024 14:14 2m 37s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:14 2m 37s
Bump containers and QuickCheck dependencies, allow ghc-9.10, update GHA Haskell-CI #77: Pull request #23 opened by jorisdral
August 27, 2024 14:09 2m 39s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:09 2m 39s
Manually add a ghc-9.10.1 job to haskell-ci.yml Haskell-CI #76: Commit 5e7cc30 pushed by jorisdral
August 27, 2024 14:09 2m 27s jdral/bump-deps
jdral/bump-deps
August 27, 2024 14:09 2m 27s
Merge pull request #22 from jasagredo/js/revise-constraints Haskell-CI #75: Commit d688695 pushed by jorisdral
May 30, 2024 10:46 2m 19s quickcheck-lockstep-0.5.0-rev1
quickcheck-lockstep-0.5.0-rev1
May 30, 2024 10:46 2m 19s
Merge pull request #22 from jasagredo/js/revise-constraints Haskell-CI #74: Commit d688695 pushed by edsko
May 29, 2024 10:21 4m 12s main
main
May 29, 2024 10:21 4m 12s