3 Commits (96a6e0a346c8e70230376ce3a713c76c33d10d9c)

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