]>
2022-07-20 | miwob | - ci.yml, coverity.yml: set permissions to contents... | tree | commitdiff |
2022-07-10 | michael | - coverity.yml: run daily | tree | commitdiff |
2022-06-12 | michael | - ci.yml, coverity.yml: checkout@v3 | tree | commitdiff |
2021-08-28 | michael | - coverity.yml: replace wget with curl | tree | commitdiff |
2021-06-15 | michael | - Update ci.yml & coverity.yml | tree | commitdiff |
2021-06-15 | michael | - Add coverity.yml to workflows | tree | commitdiff |
2021-06-14 | michael | - .github/workflows: add rudimentary ci.yml | tree | commitdiff |