Skip to content
semgrep

Congruences: Make % sound by restricting cases where we return a cons… #7673

Sign in to view logs

Congruences: Make % sound by restricting cases where we return a cons…

Congruences: Make % sound by restricting cases where we return a cons… #7673

Run time

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