Update CI configurations

runtimeverification · Aug 8, 2024 · a7d9694 · a7d9694
1 parent aa72a4d
commit a7d9694
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
@@ -102,11 +102,12 @@ test_list=()
 if [ "$SCRIPT_TESTS" == true ]; then
     # Here go the list of tests to execute with the `script` option
     test_list=(
-        #"VetoCooldownTest.testVetoCooldownDuration"
-        #"VetoSignallingTest.testTransitionNormalToVetoSignalling"
-        #"VetoSignallingTest.testVetoSignallingInvariantsHoldInitially"
-        #"EscrowAccountingTest.testRageQuitSupport"
-        #"EscrowAccountingTest.testEscrowInvariantsHoldInitially"
+        "RageQuitTest.testRageQuitDuration"
+        "VetoCooldownTest.testVetoCooldownDuration"
+        "VetoSignallingTest.testTransitionNormalToVetoSignalling"
+        "VetoSignallingTest.testVetoSignallingInvariantsHoldInitially"
+        "EscrowAccountingTest.testRageQuitSupport"
+        "EscrowAccountingTest.testEscrowInvariantsHoldInitially"
         "EscrowLockUnlockTest.testLockStEth"
         #"EscrowAccountingTest.testUnlockStEth"
         #"EscrowOperationsTest.testCannotUnlockBeforeMinLockTime"

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