Test using variables to get org name / repo name

runtimeverification · Jun 12, 2024 · 7a51acf · 7a51acf
1 parent 741f39f
commit 7a51acf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/lido-ci.yml b/.github/workflows/lido-ci.yml
@@ -28,8 +28,8 @@
                 "branch_name": "'"${{ github.event.pull_request.head.sha || github.sha }}"'",
                 "extra_args": "script",
                 "statuses_sha": "'$sha'",
-                "org": "runtimeverification",
-                "repository": "_audits_lidofinance_dual-governance_fork",
+                "org": "${{ github.repository_owner }}",
+                "repository": "${{ github.event.repository.name }}",
                 "auth_token": "'"${{ secrets.LIDO_STATUS_TOKEN }}"'"
                 }
               }')