Skip to content

Conversation

@Kleidukos
Copy link
Collaborator

Submitter checklist

  • My PR is related to <insert ticket number>
  • I have read and understood the CONTRIBUTING guide

@Kleidukos Kleidukos force-pushed the use-ghc-nightly-in-ci branch 2 times, most recently from f58970b to 0d2da8a Compare June 8, 2025 14:41
@Kleidukos Kleidukos force-pushed the use-ghc-nightly-in-ci branch from 0d2da8a to b446874 Compare June 8, 2025 15:09
@Kleidukos Kleidukos merged commit fa0b40c into main Jun 8, 2025
10 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