Semgrep

fix(ProofTracer): add magicSMTBytes #1171

Sign in to view logs

Summary
Jobs
- semgrep/ci
Run details
- Usage
- Workflow file

Triggered via pull request November 26, 2024 06:47

colinlyguo

opened #1094

add-magic-bytes-ending-in-deletion-proofs

Status Success

Total duration 1m 6s

Artifacts –

semgrep.yml

on: pull_request