search

cmu-sei / pharos

Automated static analysis tools for binary programs
Other
1.56k stars 192 forks source link

Fix github actions for pull requests #271

Closed sei-eschwartz closed 7 months ago

sei-eschwartz commented 7 months ago

Github actions will no longer attempt to push for PRs, unless the "safe to push to docker" label is set.