3 Commits (50a343a3ce6833bd074a3dccf813ab1ce2600c7c)

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