From 51bd3146efd6e9b19f164e4781c12491e75dfc23 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emmanuel=20Thom=C3=A9?= <Emmanuel.Thome@inria.fr>
Date: Sat, 1 Apr 2023 22:09:49 +0200
Subject: [PATCH] I'm not sure what's going on.

see also https://github.com/docker/build-push-action/issues/755
---
 .github/workflows/prepare-and-use-container.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/prepare-and-use-container.yml b/.github/workflows/prepare-and-use-container.yml
index 0c81398a5..fcdd33bea 100644
--- a/.github/workflows/prepare-and-use-container.yml
+++ b/.github/workflows/prepare-and-use-container.yml
@@ -89,6 +89,7 @@ jobs:
           labels: ${{ steps.meta.outputs.labels }}
           cache-from: type=registry,ref=${{ steps.mangle.outputs.cache }}
           cache-to: type=registry,ref=${{ steps.mangle.outputs.cache }},mode=max
+          provenance: false
 
       - name: finish and write summary
         run: |