3 Commits (c1b5f38d11615b1443e27112a1cba307261bfd9d)

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