Skip to content

Conversation

@jorisdral
Copy link
Collaborator

We might be switching to cabal-version: 3.14 as of PR #85. cabal-fmt does not support this version (yet), so we will be switching to cabal-gild for now, which does support it.

We might be switching to `cabal-version: 3.14` as of PR #85. `cabal-fmt` does
not support this version (yet), so we will be switching to `cabal-gild` for now,
which does support it.
@jorisdral jorisdral self-assigned this Dec 10, 2025
@jorisdral jorisdral added the CI Continuous integration / GitHub Actions label Dec 10, 2025
@jorisdral jorisdral enabled auto-merge December 10, 2025 17:06
@jorisdral jorisdral added this pull request to the merge queue Dec 10, 2025
Merged via the queue into main with commit c79e8bb Dec 10, 2025
64 of 65 checks passed
@jorisdral jorisdral deleted the jdral/cabal-gild branch December 10, 2025 17:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous integration / GitHub Actions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants