Skip to content

Update dependencies and update CI spec#46

Merged
erikd merged 2 commits into
masterfrom
erikd/updates
Feb 8, 2026
Merged

Update dependencies and update CI spec#46
erikd merged 2 commits into
masterfrom
erikd/updates

Conversation

@erikd
Copy link
Copy Markdown
Owner

@erikd erikd commented Feb 8, 2026

No description provided.

@erikd erikd force-pushed the erikd/updates branch 3 times, most recently from e81eb83 to ede53f8 Compare February 8, 2026 22:12
Had to add `allow-newer: *:*` for `ghc-9.14`. This hack will be
dropped in the future.
@erikd erikd merged commit 88c10c7 into master Feb 8, 2026
14 checks passed
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.

1 participant