[lmi-commits] [lmi] master 7192892 3/4: Add caching of downloaded files

[Greg Chicares]

branch: master
commit 7192892439dd95a081b00b2196ab9a12a655ffad
Author: Vadim Zeitlin <vadim@tt-solutions.com>
Commit: Vadim Zeitlin <vadim@tt-solutions.com>

    Add caching of downloaded files
    
    This should speed up the first build steps.
---
 .github/workflows/ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9be71c8..3bbae39 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -47,6 +47,16 @@ jobs:
           done;
           mkdir /srv/cache_for_lmi/downloads
 
+      - name: Cache downloaded archives
+        uses: actions/cache@v2
+        with:
+          # Use combined key for files downloaded by both makefiles, even
+          # though this means that we would redownload the same files from the
+          # unchanged makefile if only one of them changes -- but they don't
+          # change often enough to make this a real problem in practice.
+          path: /srv/cache_for_lmi/downloads
+          key: downloads-${{ hashFiles('install_miscellanea.make') }}-${{ 
hashFiles('install_libxml2_libxslt.make') }}
+
       - name: Build miscellanea
         run: make $coefficiency --output-sync=recurse -f 
install_miscellanea.make