Skip to content
semgrep

Merge pull request #1598 from goblint/gas_fundec_needs_to_be_min #10959

Sign in to view logs

Merge pull request #1598 from goblint/gas_fundec_needs_to_be_min

Merge pull request #1598 from goblint/gas_fundec_needs_to_be_min #10959

Triggered via push October 14, 2024 19:27
@michael-schwarzmichael-schwarz
pushed fa96209
master
Status Success
Total duration 50s
Artifacts –

semgrep.yml

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