Merge branch 'main' into dev

matter-labs · Nov 7, 2023 · 8586f2c · 8586f2c
2 parents 867f627 + 334a2bc
commit 8586f2c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/secrets_scanner.yaml b/.github/workflows/secrets_scanner.yaml
@@ -8,8 +8,8 @@ jobs:
         uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
         with:
           fetch-depth: 0
-      - name: TruffleHog OSS
-        uses: trufflesecurity/trufflehog@aabfec4cdf9221f254d0f1cca563af774e117bc0
+      - name: TruffleHog OSS  
+        uses: trufflesecurity/trufflehog@8e3f6e98dcdc15b01ace959d47b8db161ebf105d 
         with:
           path: ./
           base: ${{ github.event.repository.default_branch }}

diff --git a/src/Semantics.v b/src/Semantics.v
@@ -63,9 +63,9 @@ Section SmallStep.
   Local Open Scope ZMod_scope.
 
   Context (ins := @instruction bound).
-
+ 
   Definition update_pc_regular : callstack -> callstack :=
-    pc_map (fun x => uadd_wrap x # 1).
+    pc_map (fun x => uadd_wrap x # 1). 
 
   (** Every instruction is either executed, skipped, or triggers panic
   instantly. Panic can also be triggered later during the execution. *)