Skip to content

Dependency bumps, release quickcheck-lockstep-0.8.3#44

Merged
jorisdral merged 6 commits intomainfrom
jdral/dep-bumps
Mar 2, 2026
Merged

Dependency bumps, release quickcheck-lockstep-0.8.3#44
jorisdral merged 6 commits intomainfrom
jdral/dep-bumps

Conversation

@jorisdral
Copy link
Collaborator

@jorisdral jorisdral commented Mar 2, 2026

Resolves #43

@jorisdral jorisdral force-pushed the jdral/dep-bumps branch 2 times, most recently from 76d1622 to 121a5ff Compare March 2, 2026 14:56
@jorisdral jorisdral added this pull request to the merge queue Mar 2, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 2, 2026
@jorisdral jorisdral added this pull request to the merge queue Mar 2, 2026
@jorisdral jorisdral removed this pull request from the merge queue due to a manual request Mar 2, 2026
@jorisdral jorisdral enabled auto-merge March 2, 2026 16:04
@jorisdral jorisdral added this pull request to the merge queue Mar 2, 2026
Merged via the queue into main with commit 153223b Mar 2, 2026
11 checks passed
@jorisdral jorisdral deleted the jdral/dep-bumps branch March 2, 2026 16:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support ghc-9.14

1 participant