Bump GHC from 9.6 to 9.10 #1142
+13,195
−14,301
Merged
Mergify / Queue: Embarked in merge queue
required action
Jan 8, 2025 in 0s
This pull request cannot be embarked for merge
The merge queue pull request can't be updated
Details:
Mergify doesn't have permission to update
For security reasons, Mergify can't update this pull request. Try updating locally.
GitHub response: refusing to allow a GitHub App to create or update workflow.github/workflows/ci.dhall
withoutworkflows
permission
Loading