From a0f6164500ad7a9175b4cedf964ec708aee4c239 Mon Sep 17 00:00:00 2001
From: Timo Rothenpieler <timo.rothenpieler@uni-bremen.de>
Date: Wed, 4 Oct 2023 18:17:53 +0200
Subject: [PATCH] Disable provenance due to issues with ghcr.io registry

See https://github.com/docker/build-push-action/issues/755 and https://github.com/docker/build-push-action/issues/764
---
 .github/workflows/build-images.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build-images.yml b/.github/workflows/build-images.yml
index fcf746d..cd45f28 100644
--- a/.github/workflows/build-images.yml
+++ b/.github/workflows/build-images.yml
@@ -61,6 +61,7 @@ jobs:
         file: untested_base/Dockerfile_dev
         pull: true
         push: true
+        provenance: false
         tags: |
           ${{ steps.names.outputs.dev }}:${{ steps.names.outputs.vertag }}
           ${{ steps.names.outputs.dev_latest }}
@@ -75,6 +76,7 @@ jobs:
         file: untested_base/Dockerfile_empty
         pull: true
         push: true
+        provenance: false
         tags: |
           ${{ steps.names.outputs.empty }}:${{ steps.names.outputs.vertag }}
           ${{ steps.names.outputs.empty_latest }}
@@ -90,6 +92,7 @@ jobs:
         file: untested_base/Dockerfile_final
         pull: true
         push: true
+        provenance: false
         tags: |
           ${{ steps.names.outputs.untested }}:${{ steps.names.outputs.vertag }}
           ${{ steps.names.outputs.untested_latest }}
@@ -104,6 +107,7 @@ jobs:
       with:
         context: base
         push: true
+        provenance: false
         tags: |
           ${{ steps.names.outputs.base_latest }}
           ${{ steps.names.outputs.base_date }}