Do not run the CI workflow on pull requests.
[mailpopbox.git] / .github /
2021-08-05 Robert SesekDo not run the CI workflow on pull requests.
2020-08-08 Robert SesekMinor tweaks to the Github workflows.
2020-08-08 Robert SesekAdd Github workflows for CI and PRs.