Merge branch 'main' into popzxc-release-please

matter-labs · Sep 5, 2024 · b29a592 · b29a592
2 parents 6bdae49 + 127e7bf
commit b29a592
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 3 deletions.
diff --git a/.github/workflows/secrets_scanner.yaml b/.github/workflows/secrets_scanner.yaml
@@ -1,15 +1,17 @@
 name: Leaked Secrets Scan
-on: [pull_request]
+on:
+  pull_request:
+  merge_group:
 jobs:
   TruffleHog:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
-        uses: actions/checkout@ac593985615ec2ede58e132d2e21d2b1cbd6127c # v3
+        uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
         with:
           fetch-depth: 0
       - name: TruffleHog OSS
-        uses: trufflesecurity/trufflehog@0c66d30c1f4075cee1aada2e1ab46dabb1b0071a
+        uses: trufflesecurity/trufflehog@fe5624c70923355128868cffd647b6e2cfe11443 # v3.81.9
         with:
           path: ./
           base: ${{ github.event.repository.default_branch }}

diff --git a/spec/Makefile b/spec/Makefile
@@ -22,3 +22,9 @@ smoke-tests:
 	cd protocol-spec/experiments && quint verify --max-steps=1 --invariant=all_invariants n6f1b2.qnt
 	cd protocol-spec/experiments && quint verify --max-steps=1 --invariant=all_invariants n6f1b1.qnt
 	cd protocol-spec/experiments && quint verify --max-steps=1 --invariant=all_invariants n6f1b0.qnt
+	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_agreement_inv n6f1b2_guided_agreement.qnt
+	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_two_chained_blocks_example n6f1b0_guided_no_proposing_leader.qnt
+	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_all_invariants n6f1b1_guided_dead_lock.qnt
+	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_two_chained_blocks_example n6f1b1_guided_two_blocks.qnt
+	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_all_invariants n7f1b0_guided_three_blocks.qnt
+
diff --git a/...xperiments/n7f1b0_quided_three_blocks.qnt → ...xperiments/n7f1b0_guided_three_blocks.qnt b/...xperiments/n7f1b0_quided_three_blocks.qnt → ...xperiments/n7f1b0_guided_three_blocks.qnt