3 Commits

Author	SHA1	Message	Date
PatTheMav	24e4a256f7	CI: Add main Github Actions workflow for branch pushes and PRs	2020-04-19 04:07:28 +02:00
Colin Edwards	e99849e1fc	CI: Remove merge conflict bot for now	2020-03-03 20:23:25 -06:00
Colin Edwards	53e01617c9	CI: Add github workflow to tag merge conflicts	2020-02-17 13:48:07 -06:00