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