Seems like I could resolve it. Please shoot me a mail if you see more
odd things happening.
On 7/12/26 10:04, Magnus Viernickel via ghc-devs wrote:
Dear GHC Devs,
of course it would have been too good if everything was fine - it
looks like the `ghc/ghc` repo currently does not update when pushing
to it. I'm hoping to resolve this.
Best
Magnus
_______________________________________________
ghc-devs mailing list -- [email protected]
To unsubscribe send an email to [email protected]
_______________________________________________
ghc-devs mailing list -- [email protected]
To unsubscribe send an email to [email protected]
