From 74f9dea7015467bee9010b93f7c384ede93dcf52 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Tue, 13 Aug 2024 11:27:15 +0200
Subject: [PATCH] feat: use save-always in cache action (#5010)

Follows up on
https://github.com/leanprover/lean4/pull/5003#issuecomment-2284813940
---
 .github/workflows/ci.yml     | 1 +
 .github/workflows/nix-ci.yml | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7e275c87b3..c2f4198513 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -337,6 +337,7 @@ jobs:
           # fall back to (latest) previous cache
           restore-keys: |
             ${{ matrix.name }}-build-v3
+          save-always: true
       # open nix-shell once for initial setup
       - name: Setup
         run: |
diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
index b6dc88d438..ac8b8c6ada 100644
--- a/.github/workflows/nix-ci.yml
+++ b/.github/workflows/nix-ci.yml
@@ -62,6 +62,7 @@ jobs:
           # fall back to (latest) previous cache
           restore-keys: |
             ${{ matrix.name }}-nix-store-cache
+          save-always: true
       - name: Further Set Up Nix Cache
         shell: bash -euxo pipefail {0}
         run: |
@@ -85,6 +86,7 @@ jobs:
           # fall back to (latest) previous cache
           restore-keys: |
             ${{ matrix.name }}-nix-ccache
+          save-always: true
       - name: Further Set Up CCache Cache
         run: |
           sudo chown -R root:nixbld /nix/var/cache