Use ghc4pandoc 9.0.2 image for faster linux builds.
This commit is contained in:
parent
e532bceb8a
commit
09b773e1ad
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -3,7 +3,7 @@ pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
|
|||
SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$")
|
||||
BRANCH?=master
|
||||
ARCH=$(shell uname -m)
|
||||
DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.7
|
||||
DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:9.0.2
|
||||
COMMIT=$(shell git rev-parse --short HEAD)
|
||||
TIMESTAMP=$(shell date "+%Y%m%d_%H%M")
|
||||
LATESTBENCH=$(word 1,$(shell ls -t bench_*.csv 2>/dev/null))
|
||||
|
|
Loading…
Reference in a new issue