3 Commits (33204e4ad2ebb48aaa2ad1c616902396b3b9effd)

Author SHA1 Message Date
João Borges 48e6513564 Cleanup and speed-up CI (#2376) 2 years ago
João Borges 56cd7f38b8 Fix bors hanging (#1767) 3 years ago
João Borges 6262bd9824 Add bors to CI (#1684) 3 years ago