DARMA-tasking
diff --git a/‎ci/docker/base.dockerfile‎
Lines changed: 1 addition & 2 deletions b/‎ci/docker/base.dockerfile‎
Lines changed: 1 addition & 2 deletions
@@ -43,8 +43,7 @@ ENV CC=$CC \
 
 ENV CCACHE_COMPILERCHECK=content \
     CCACHE_COMPRESS=1  \
-    CCACHE_COMPRESSLEVE=5  \
-    CCACHE_MAXSIZE=700M \
+    CCACHE_MAXSIZE=200M \
     CCACHE_DIR=/build/ccache \
     \
     LESSCHARSET=utf-8 \
Original file line number	Diff line number	Diff line change
`@@ -43,8 +43,7 @@ ENV CC=$CC \`
`43`	`43`
`44`	`44`	`ENV CCACHE_COMPILERCHECK=content \`
`45`	`45`	`CCACHE_COMPRESS=1 \`
`46`		`- CCACHE_COMPRESSLEVE=5 \`
`47`		`- CCACHE_MAXSIZE=700M \`
	`46`	`+ CCACHE_MAXSIZE=200M \`
`48`	`47`	`CCACHE_DIR=/build/ccache \`
`49`	`48`	`\`
`50`	`49`	`LESSCHARSET=utf-8 \`