Jorge Aparicio 6652173268 don't test main after PRs are merged
this just duplicates the work of bors for no good reason
2022-08-12 16:30:44 +02:00
..
2020-12-10 17:54:52 +00:00