summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOlivier Benz <olivier.benz@b-data.ch>2024-02-05 18:04:30 +0100
committerGitHub <noreply@github.com>2024-02-05 09:04:30 -0800
commit822480c4c8087cee38c1f268c0f85d2bcfc1f6f6 (patch)
treec46139e30dc0970c0526afcb8ee92fb15df62b6e
parentbab30eaf4179c1af69d813f24e13bae1c0255321 (diff)
Use images from Quay (#9411)
-rw-r--r--.cirrus.yml4
-rw-r--r--Makefile2
2 files changed, 3 insertions, 3 deletions
diff --git a/.cirrus.yml b/.cirrus.yml
index e531ae412..20b28d7ba 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -29,7 +29,7 @@ task:
trigger_type: manual
timeout_in: 90m
arm_container:
- image: glcr.b-data.ch/ghc/ghc-musl:9.6
+ image: quay.io/benz0li/ghc-musl:9.6
cpu: 4
memory: 12G
env:
@@ -55,7 +55,7 @@ task:
trigger_type: manual
timeout_in: 90m
container:
- image: glcr.b-data.ch/ghc/ghc-musl:9.6
+ image: quay.io/benz0li/ghc-musl:9.6
cpu: 4
memory: 12G
env:
diff --git a/Makefile b/Makefile
index 94c468ed2..34ebe2661 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}')
pandoc-cli-version?=$(shell grep '^[Vv]ersion:' pandoc-cli/pandoc-cli.cabal | awk '{print $$2;}')
SOURCEFILES?=$(shell git ls-tree -r main --name-only src pandoc-cli pandoc-server pandoc-lua-engine | grep "\.hs$$")
PANDOCSOURCEFILES?=$(shell git ls-tree -r main --name-only src | grep "\.hs$$")
-DOCKERIMAGE=glcr.b-data.ch/ghc/ghc-musl:9.6
+DOCKERIMAGE=quay.io/benz0li/ghc-musl:9.6
TIMESTAMP=$(shell date "+%Y%m%d_%H%M")
LATESTBENCH=$(word 1,$(shell ls -t bench_*.csv 2>/dev/null))
BASELINE?=$(LATESTBENCH)