Fix semgrep

[boyuan-chen]

📋 Add associated issues, tickets, docs URL here.

Overview

The fix is tested.

~/Documents/GitHub/boba.nosync enable-TestRequiredProtocolVersionChangeAndHalt* ❯ just semgrep                                                                                                                                                                                                    02:54:36 PM
semgrep scan --config=.semgrep --error .

┌──── ○○○ ────┐
│ Semgrep CLI │
└─────────────┘

                                                                                                                        
Scanning 3801 files (only git-tracked) with 8 Code rules:
            
  CODE RULES
  Scanning 670 files with 8 solidity rules.
                    
  SUPPLY CHAIN RULES
                  
  No rules to run.
                  
          
  PROGRESS
   
  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 100% 0:00:00                                                                                                                        
                
                
┌──────────────┐
│ Scan Summary │
└──────────────┘
Some files were skipped or only partially analyzed.
  Scan was limited to files tracked by git.
  Partially scanned: 10 files only partially analyzed due to parsing or internal Semgrep errors
  Scan skipped: 23 files matching .semgrepignore patterns
  For a full list of skipped files, run semgrep with the --verbose flag.

Ran 8 rules on 670 files: 0 findings.

✨ If Semgrep missed a finding, please send us feedback to let us know!
   See https://semgrep.dev/docs/reporting-false-negatives/