Skip to content

Actions: well-typed/quickcheck-lockstep

Actions

Haskell CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell.yml
17 workflow runs
17 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