From 5aec5f52c6a88eff35ca7bdfa537bc74111f327e Mon Sep 17 00:00:00 2001 From: Dario Coscia <93731561+dario-coscia@users.noreply.github.com> Date: Fri, 4 Apr 2025 17:23:39 +0200 Subject: [PATCH] Update tutorial_exporter.yml (#537) fixing bug introduced in #531 workflow on push --- .github/workflows/tutorial_exporter.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/tutorial_exporter.yml b/.github/workflows/tutorial_exporter.yml index f495c3e..249a4c8 100644 --- a/.github/workflows/tutorial_exporter.yml +++ b/.github/workflows/tutorial_exporter.yml @@ -13,7 +13,6 @@ jobs: # run on push export_tutorials_on_push: if: ${{ github.event_name == 'push' }} - export_tutorials: permissions: write-all runs-on: ubuntu-latest env: