2021-08-05 | Robert Sesek | Do not run the CI workflow on pull requests. | commit | commitdiff |
2020-08-08 | Robert Sesek | Minor tweaks to the Github workflows. | commit | commitdiff |
2020-08-08 | Robert Sesek | Add Github workflows for CI and PRs. | commit | commitdiff |