2021-08-21 | GitHub action: continue on linter errors | blob | commitdiff | raw | |
2021-08-21 | Add coverage run to GitHub actions | blob | commitdiff | raw | diff to current | |
2021-08-21 | Merge GH actions in one file. | blob | commitdiff | raw | diff to current | |