2021-08-22 | Fix GH actions run on dependabot PRs. | blob | commitdiff | raw | |
2021-08-21 | Use GitHub token in GH actions | blob | commitdiff | raw | diff to current | |
2021-08-21 | GitHub action: move linter step before the build | blob | commitdiff | raw | diff to current | |
2021-08-21 | GitHub action: continue on linter errors | blob | commitdiff | raw | diff to current | |
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 | |