Hi Simon, I believe this happens because the squashed commit message contains the text [skip ci].
Best, Sam
_______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
- Re: CI "skipped" Sam Derbyshire via ghc-devs
- Re: CI "skipped" Simon Peyton Jones via ghc-devs
