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

Triggered via push September 12, 2023 14:03
@michael-schwarzmichael-schwarz
pushed bff9159
issue_1156
Status Success
Total duration 1m 1s
Artifacts –

semgrep.yml

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