3 Commits (280199b07a9279ee1dd426b138ed4f79821c3f4d)

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