Skip to content

Add ghc-docker-jobs script

Matthew Pickering requested to merge wip/ghc-docker-jobs into master

Start a docker container which contains the same environment as a job defined in jobs.yaml. The job script can be executed by running ./run_script.

./ghc-docker-jobs.sh

Merge request reports