changeset 31756:eb32cf98eed1

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Wed, 18 Jan 2023 18:00:40 +0100
parents 106c7532a764 (current diff) cf0b1426539e (diff)
children 02f6b7e64ac8
files .github/workflows/make.yaml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Tue Jan 17 20:31:53 2023 -0500
+++ b/.github/workflows/make.yaml	Wed Jan 18 18:00:40 2023 +0100
@@ -727,7 +727,7 @@
 
       - name: restore ccache
         # Setup a github cache used to maintain the ccache from one run to the next
-        uses: actions/cache/restore@v3
+        uses: actions/cache/restore@v3.2.2
         with:
           path: ${{ steps.ccache-prepare.outputs.ccachedir }}
           key: ${{ steps.ccache-prepare.outputs.key }}
@@ -793,7 +793,7 @@
 
       - name: save ccache
         # Save the cache after we are done (successfully) building
-        uses: actions/cache/save@v3
+        uses: actions/cache/save@v3.2.2
         with:
           path: ${{ steps.ccache-prepare.outputs.ccachedir }}
           key: ${{ steps.ccache-prepare.outputs.key }}