Skip to content

Conversation

jhrcek
Copy link
Collaborator

@jhrcek jhrcek commented Aug 19, 2025

Resolves #156

@jhrcek jhrcek force-pushed the jhrcek/ghc-9.10.2-2 branch from 6d39605 to c1334f3 Compare August 19, 2025 17:55
@jhrcek jhrcek force-pushed the jhrcek/ghc-9.10.2-2 branch from c1334f3 to c6697ca Compare August 19, 2025 17:56
@jhrcek jhrcek marked this pull request as ready for review August 20, 2025 04:32
@jhrcek jhrcek requested a review from develop7 August 20, 2025 04:32
Copy link
Collaborator

@develop7 develop7 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@develop7 develop7 merged commit c34f977 into master Aug 20, 2025
13 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.

9.10.2 image missing on DockerHub
2 participants