Committing KaaS Compute Setup for RV Testing / Development

runtimeverification · Jun 12, 2024 · 741f39f · 741f39f
1 parent f74516e
commit 741f39f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/lido-ci.yml b/.github/workflows/lido-ci.yml
@@ -23,13 +23,13 @@
               -H "Authorization: Bearer ${{ secrets.RV_COMPUTE_TOKEN }}" \
               https://api.github.com/repos/runtimeverification/_kaas_lidofinance_dual-governance/actions/workflows/lido-ci.yml/dispatches \
               -d '{
-                "ref": "master",
+                "ref": "rvdevelop",
                 "inputs": {
                 "branch_name": "'"${{ github.event.pull_request.head.sha || github.sha }}"'",
                 "extra_args": "script",
                 "statuses_sha": "'$sha'",
-                "org": "lidofinance",
-                "repository": "dual-governance",
+                "org": "runtimeverification",
+                "repository": "_audits_lidofinance_dual-governance_fork",
                 "auth_token": "'"${{ secrets.LIDO_STATUS_TOKEN }}"'"
                 }
               }')