New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support GHC 9.2.4 #6019

Closed

andreasabel opened this issue Aug 12, 2022 · 1 comment

Assignees

Labels

ghc-9.2.4 infra: github workflows

Milestone

Member

andreasabel commented Aug 12, 2022

Bump CI from 9.2.3 to 9.2.4.

andreasabel added the ghc-9.2.4 label

andreasabel added this to the 2.6.3 milestone

andreasabel self-assigned this

Member Author

andreasabel commented Aug 12, 2022

Fixed by 1e93836.

andreasabel closed this as completed

andreasabel mentioned this issue

Release Agda 2.6.3 #6055

Closed

andreasabel added the infra: github workflows label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment