From d48291aaa17dd4e49f08e5833dfd0f543550a28c Mon Sep 17 00:00:00 2001
From: qian-hu <88806138+qian-hu@users.noreply.github.com>
Date: Wed, 2 Oct 2024 18:10:31 -0400
Subject: [PATCH] Update lido-ci.yml and run-kontrol.sh

---
 .github/workflows/lido-ci.yml       | 1 -
 test/kontrol/scripts/run-kontrol.sh | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/lido-ci.yml b/.github/workflows/lido-ci.yml
index 565688ee..6177e939 100644
--- a/.github/workflows/lido-ci.yml
+++ b/.github/workflows/lido-ci.yml
@@ -29,7 +29,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 }}",
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
index 65bea0b5..6195e7d5 100755
--- a/test/kontrol/scripts/run-kontrol.sh
+++ b/test/kontrol/scripts/run-kontrol.sh
@@ -5,7 +5,7 @@ SCRIPT_HOME="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 # shellcheck source=/dev/null
 source "$SCRIPT_HOME/common.sh"
 export RUN_KONTROL=true
-CUSTOM_FOUNDRY_PROFILE=default
+CUSTOM_FOUNDRY_PROFILE=kprove
 export FOUNDRY_PROFILE=$CUSTOM_FOUNDRY_PROFILE
 export OUT_DIR=kout # out dir of $FOUNDRY_PROFILE
 parse_args "$@"