Mercurial > octave

changeset 29584:c05d23ac4931

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
GitHub-CI: Increase ccache size for gcc on Ubuntu 20.04. * .github/workflow/make.yaml: Use a maximum cache size of 6 GB for Ubuntu 20.04 using gcc. Leave the maximum cache size at 3 GB for the other Ubuntu runners.
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 01 May 2021 15:58:13 +0200
parents 59c5131d46af
children 77e16298ba3e
files .github/workflows/make.yaml
diffstat 1 files changed, 9 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Sat May 01 14:22:30 2021 +0200
+++ b/.github/workflows/make.yaml	Sat May 01 15:58:13 2021 +0200
@@ -21,6 +21,12 @@
             compiler-pkgs: "clang"
             cc: "clang"
             cxx: "clang++"
+          # "ccache" on Ubuntu 20.04 with gcc seems to require much more cache
+          # storage than on the other runners to work effectively.
+          - ccache-max: 3G
+          - os: ubuntu-20.04
+            compiler: gcc
+            ccache-max: 6G
 
     steps:
       - name: checkout repository
@@ -61,9 +67,11 @@
             ccache:${{ matrix.os }}:${{ matrix.compiler }}
 
       - name: configure ccache
+        env:
+          CCACHE_MAX: ${{ matrix.ccache-max }}
         run: |
           test -d /home/runner/.ccache || mkdir /home/runner/.ccache
-          echo "max_size = 3G" >> /home/runner/.ccache/ccache.conf
+          echo "max_size = $CCACHE_MAX" >> /home/runner/.ccache/ccache.conf
           ccache -s
 
       - name: bootstrap