folivo/PINA
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update tutorial_exporter.yml (#537)

Browse Source 
fixing bug introduced in #531 workflow on push
This commit is contained in:
Dario Coscia
2025-04-04 17:23:39 +02:00
committed by GitHub
parent bae18df4bb
commit 5aec5f52c6
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/tutorial_exporter.yml vendored
View File

@@ -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: