Semgrep SAST

Feat/solo core metatheory proofs (#614) #1198

Sign in to view logs

Triggered via push June 21, 2026 01:18

main

Status Success

Total duration 21m 35s

Artifacts –

semgrep.yml

on: push