Try bzip2 otherwise github runs out of disk space. Signed-off-by: Tim 'mithro' Ansell <tansell@google.com>
diff --git a/.github/capture.sh b/.github/capture.sh index ca0bce1..0e70361 100644 --- a/.github/capture.sh +++ b/.github/capture.sh
@@ -40,7 +40,7 @@ cd ${SKY130_DIR} tar \ --create \ - --gzip \ + --bzip2 \ --verbose \ \ --mtime='2020-05-07 00:00Z' \ @@ -50,7 +50,7 @@ --numeric-owner \ --pax-option=exthdr.name=%d/PaxHeaders/%f,delete=atime,delete=ctime \ \ - --file ${GITHUB_WORKSPACE}/output/pdk-SKY130A-${STD_CELL_LIBRARY}.tar.gz . + --file ${GITHUB_WORKSPACE}/output/pdk-SKY130A-${STD_CELL_LIBRARY}.tar.bz2 . echo ::endgroup:: )