search

rust-lang / crater

Run experiments across parts of the Rust ecosystem!
https://crater.rust-lang.org
643 stars 90 forks source link

Switch CI from bors to merge queue #746

Closed Kobzol closed 3 weeks ago

Kobzol commented 1 month ago

Should be merged with cooperation from an infra-admin.

I tried to merge the main and PR workflow files together, but it was quite complicated, I don't think it's worth it.

MarcoIeni commented 4 weeks ago

Unfortunately a test didn't pass. I'm adding again to the merge queue, maybe the test is flaky.

EDIT: it failed again

Kobzol commented 4 weeks ago

This doesn't seem like something that could be broken by a switch to a merge queue :thinking:

MarcoIeni commented 3 weeks ago

pinning the rust version didn't work :/