Add ghc-docker-jobs script
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
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