| commit | 87edbdf5fdc4df7fbbba4564491410388ab0e0a5 | [log] [tgz] |
|---|---|---|
| author | Mate Soos <soos.mate@gmail.com> | Mon Aug 31 19:07:26 2020 |
| committer | GitHub <noreply@github.com> | Mon Aug 31 19:07:26 2020 |
| tree | 37a2752b4ceac2df71fc9c16da5789496d7d93c6 | |
| parent | 9745d5a51960c81504598d2d09d956b249ebcdc6 [diff] |
Update codeql-analysis.yml Build minisat before