Skip to content
Fuzzing on PR

Chore: Not generate boogie translation if not verifying #1207

Sign in to view logs

Chore: Not generate boogie translation if not verifying

Chore: Not generate boogie translation if not verifying #1207

Run time

Learn about OS pricing on GitHub Actions
Job Run time
FuzzOnPR
2s
2s