Skip to content

N
nebula
Commit df5add3b authored by Matt Solomon's avatar Matt Solomon Committed by GitHub
Browse files
Options

ci: less resource intensive proofs (#10572)

parent 7ef1bcf1
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 2 deletions
packages/contracts-bedrock/test/kontrol/scripts/run-kontrol.sh
View file @ df5add3b
...@@ -136,9 +136,8 @@ regen= ...@@ -136,9 +136,8 @@ regen=
test_list=() test_list=()
if [ "$SCRIPT_TESTS" == true ]; then if [ "$SCRIPT_TESTS" == true ]; then
test_list=( "OptimismPortalKontrol.prove_proveWithdrawalTransaction_paused0" \ test_list=( "OptimismPortalKontrol.prove_proveWithdrawalTransaction_paused0" \
"OptimismPortalKontrol.prove_proveWithdrawalTransaction_paused1(" \
"OptimismPortalKontrol.prove_finalizeWithdrawalTransaction_paused" \ "OptimismPortalKontrol.prove_finalizeWithdrawalTransaction_paused" \
"OptimismPortal2Kontrol.prove_proveWithdrawalTransaction_paused1(" \
"OptimismPortal2Kontrol.prove_finalizeWithdrawalTransaction_paused" \
"L1StandardBridgeKontrol.prove_finalizeBridgeERC20_paused" \ "L1StandardBridgeKontrol.prove_finalizeBridgeERC20_paused" \
"L1StandardBridgeKontrol.prove_finalizeBridgeETH_paused" \ "L1StandardBridgeKontrol.prove_finalizeBridgeETH_paused" \
"L1ERC721BridgeKontrol.prove_finalizeBridgeERC721_paused" \ "L1ERC721BridgeKontrol.prove_finalizeBridgeERC721_paused" \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment