Skip to content

Actions: well-typed/quickcheck-lockstep

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
57 workflow runs
57 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

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
May 29, 2024 10:21 4m 12s
Merge pull request #20 from well-typed/jdral/q-d-3.4
Haskell-CI #71: Commit 3548f43 pushed by jorisdral
March 25, 2024 10:35 2m 17s main
March 25, 2024 10:35 2m 17s
Support quickcheck-dynamic-3.4
Haskell-CI #70: Pull request #20 synchronize by jorisdral
March 25, 2024 10:29 3m 31s jdral/q-d-3.4
March 25, 2024 10:29 3m 31s
Release quickcheck-lockstep-0.5.0
Haskell-CI #69: Commit 18b4d77 pushed by jorisdral
March 25, 2024 10:29 2m 14s jdral/q-d-3.4
March 25, 2024 10:29 2m 14s
Support quickcheck-dynamic-3.4
Haskell-CI #68: Pull request #20 synchronize by jorisdral
March 25, 2024 10:26 2m 21s jdral/q-d-3.4
March 25, 2024 10:26 2m 21s
Release quickcheck-lockstep-0.5.0
Haskell-CI #67: Commit b1491df pushed by jorisdral
March 25, 2024 10:26 2m 19s jdral/q-d-3.4
March 25, 2024 10:26 2m 19s
Merge pull request #21 from well-typed/jdral/quickcheck-lockstep-0.4.0.1
Haskell-CI #65: Commit 60d51aa pushed by jorisdral
March 20, 2024 10:23 2m 35s main
March 20, 2024 10:23 2m 35s
Release quickcheck-lockstep-0.4.1
Haskell-CI #64: Pull request #21 synchronize by jorisdral
March 20, 2024 10:20 2m 17s jdral/quickcheck-lockstep-0.4.0.1
March 20, 2024 10:20 2m 17s
Release quickcheck-lockstep-0.4.1
Haskell-CI #62: Pull request #21 opened by jorisdral
March 14, 2024 12:20 2m 31s jdral/quickcheck-lockstep-0.4.0.1
March 14, 2024 12:20 2m 31s
Merge pull request #19 from well-typed/jdral/fix-mtl-2.3
Haskell-CI #60: Commit feca60c pushed by jorisdral
March 13, 2024 13:12 2m 40s main
March 13, 2024 13:12 2m 40s
Merge pull request #18 from well-typed/jdral/readme-in-sdist
Haskell-CI #59: Commit dad78fe pushed by jorisdral
March 13, 2024 13:07 4m 13s main
March 13, 2024 13:07 4m 13s
Support quickcheck-dynamic-3.4
Haskell-CI #58: Pull request #20 synchronize by jorisdral
March 13, 2024 12:51 5m 0s jdral/q-d-3.4
March 13, 2024 12:51 5m 0s
WIP
Haskell-CI #57: Commit 5125b45 pushed by jorisdral
March 13, 2024 12:51 4m 41s jdral/q-d-3.4
March 13, 2024 12:51 4m 41s
Support quickcheck-dynamic-3.4
Haskell-CI #56: Pull request #20 opened by jorisdral
March 13, 2024 12:50 3m 9s jdral/q-d-3.4
March 13, 2024 12:50 3m 9s
WIP
Haskell-CI #55: Commit ca40a5c pushed by jorisdral
March 13, 2024 12:48 3m 5s jdral/q-d-3.4
March 13, 2024 12:48 3m 5s
Fix build with mtl^>=2.3
Haskell-CI #54: Pull request #19 opened by jorisdral
February 21, 2024 19:50 2m 9s jdral/fix-mtl-2.3
February 21, 2024 19:50 2m 9s
Fix build with mtl^>=2.3
Haskell-CI #53: Commit dd8056e pushed by jorisdral
February 21, 2024 19:47 3m 8s jdral/fix-mtl-2.3
February 21, 2024 19:47 3m 8s
Merge pull request #15 from well-typed/jdral/13-valid-counter-examples
Haskell-CI #52: Commit 78365b2 pushed by jorisdral
February 21, 2024 19:46 2m 10s main
February 21, 2024 19:46 2m 10s
Fix compilation failures with mtl^>=2.3
Haskell-CI #51: Commit 0f7f231 pushed by jorisdral
February 21, 2024 19:45 2m 10s main
February 21, 2024 19:45 2m 10s