Skip to content
semgrep

Remove Ints_t from Congurence and use Z directly #8852

Sign in to view logs

Remove Ints_t from Congurence and use Z directly

Remove Ints_t from Congurence and use Z directly #8852

Run time

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