ghc-dev workflow scripts