From 6b1051592ef7e940cdc00e7c972e4b61d97d4a4c Mon Sep 17 00:00:00 2001 From: Derek Hower Date: Mon, 29 Jul 2024 07:40:24 -0700 Subject: [PATCH] Disable singularity cache in GitHub --- bin/setup | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bin/setup b/bin/setup index c7a5e6787..685c82090 100755 --- a/bin/setup +++ b/bin/setup @@ -8,8 +8,10 @@ CONTAINER_TAG=`cat ${ROOT}/bin/.container-tag` if [ -z ${GITHUB_ACTIONS+x} ]; then CONTAINER_PATH=${ROOT}/.singularity/image-$CONTAINER_TAG.sif + SINGULARITY_CACHE=--disable-cache else CONTAINER_PATH=${ROOT}/.singularity/image.sif + SINGULARITY_CACHE= fi if [ ! -d $ROOT/.home ]; then @@ -21,7 +23,7 @@ if [ ! -f ${CONTAINER_PATH} ]; then if [ ! -d "${ROOT}/.singularity" ]; then mkdir -p ${ROOT}/.singularity fi - singularity pull ${CONTAINER_PATH} oras://docker.io/riscvintl/spec-generator:$CONTAINER_TAG + singularity pull ${SINGULARITY_CACHE} ${CONTAINER_PATH} oras://docker.io/riscvintl/spec-generator:$CONTAINER_TAG fi if [ ! -f $ROOT/.bundle/config ]; then