SupremeMortal 406eff3f03 We don't need this action anymore. ... Jenkins builds all local branches whilst GitHub Actions builds all PRs.		2019-11-28 23:15:53 +00:00
..
pullrequest.yml	Use new GitHub Actions to build PRs	2019-11-28 23:05:33 +00:00