Skip to content
semgrep

Update sv-comp configurations according to new schema #13656

Sign in to view logs

Update sv-comp configurations according to new schema

Update sv-comp configurations according to new schema #13656

Run time

Learn about OS pricing on GitHub Actions
Job Run time
semgrep
52s
52s