gitlab-ci: Fix source tarball job

Authored by bgamari on Jul 19 2019, 7:05 PM.

Description

gitlab-ci: Fix source tarball job

  • Use show! in source tarball job. Since we aren't actually building anything in this job show won't work.
  • Fix Docker image name
  • Make version file contain only version string

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jul 24 2019, 3:50 PM
Parents
rGHCb95b63806b5a: Make stage 1 GHC target independent
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd0f8ed206479: gitlab-ci: Fix source tarball job (authored by bgamari).Jul 24 2019, 3:50 PM