ci: fix .github/workflows/seal5_build.yml

tum-ei-eda · Nov 7, 2024 · 2175b03 · 2175b03
1 parent 3221001
commit 2175b03
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/seal5_build.yml b/.github/workflows/seal5_build.yml
@@ -137,7 +137,6 @@ jobs:
       with:
         name: etiss-run-id
         github_token: ${{ secrets.SEAL5_ACCESS_TOKEN }}
-        repo: tum-ei-eda/seal5
         path: /home/runner/work/
         workflow: sync_etiss_seal5_build.yml
         workflow_conclusion: success