Update lido-ci.yml

Removing a dropped argument.
runtimeverification · Oct 2, 2024 · 831e683 · 831e683
1 parent 2fcc925
commit 831e683
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/lido-ci.yml b/.github/workflows/lido-ci.yml
@@ -26,7 +26,6 @@
                 "ref": "master",
                 "inputs": {
                 "branch_name": "'"${{ github.event.pull_request.head.sha || github.sha }}"'",
-                "extra_args": "script",
                 "statuses_sha": "'$sha'",
                 "org": "${{ github.repository_owner }}",
                 "repository": "${{ github.event.repository.name }}",