Update CI configurations

runtimeverification · Aug 16, 2024 · ad66780 · ad66780
1 parent c2fd803
commit ad66780
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
@@ -106,13 +106,17 @@ if [ "$SCRIPT_TESTS" == true ]; then
         "VetoCooldownTest.testVetoCooldownDuration"
         "VetoSignallingTest.testTransitionNormalToVetoSignalling"
         "VetoSignallingTest.testVetoSignallingInvariantsHoldInitially"
+        "VetoSignallingTest.testVetoSignallingInvariantsArePreserved"
+        "VetoSignallingTest.testDeactivationNotCancelled"
         "EscrowAccountingTest.testRageQuitSupport"
         "EscrowAccountingTest.testEscrowInvariantsHoldInitially"
         "EscrowLockUnlockTest.testLockStEth"
         #"EscrowAccountingTest.testUnlockStEth"
         #"EscrowOperationsTest.testCannotUnlockBeforeMinLockTime"
         #"EscrowOperationsTest.testCannotLockUnlockInRageQuitEscrowState"
         #"EscrowOperationsTest.testCannotWithdrawBeforeEthClaimTimelockElapsed"
+        "ProposalOperationsSetup.testOnlyAdminProposersCanCancelProposals"
+        "ProposalOperationsSetup.testCannotProposeInInvalidState"
         #"ActivateNextStateTest.testEscrowStateTransition"
     )
 elif [ "$CUSTOM_TESTS" != 0 ]; then

diff --git a/test/kontrol/scripts/versions.json b/test/kontrol/scripts/versions.json
@@ -1,4 +1,4 @@
 {
-  "kontrol": "0.1.395",
+  "kontrol": "0.1.409",
   "kontrol-cheatcodes": "master"
 }