Fully move to merge queues

capablevms / CHERI-ELF-comp

Other

4 stars 1 forks source link

Fully move to merge queues #16

Closed 0152la closed 8 months ago

0152la commented 8 months ago

Do the rest of the stuff needed to fully migrate to merge queues and remove old bors file. Also this PR will likely fix any CI issues that might have remained from merging #13.

ltratt commented 8 months ago

I think this has accidentally rmed .buildbot.sh instead of bors.toml?

0152la commented 8 months ago

ltratt commented 8 months ago

Please squash.

0152la commented 8 months ago

Squashed.