Skip to content
semgrep

Fix fixpoint issue from #1126 #7491

Sign in to view logs

Fix fixpoint issue from #1126

Fix fixpoint issue from #1126 #7491

Triggered via push August 3, 2023 11:59
@sim642sim642
pushed 409cbd1
yaml-witness-unassume-bench
Status Success
Total duration 41s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

semgrep.yml

on: push
semgrep
29s
semgrep
Fit to window
Zoom out
Zoom in