CI: migrate from Bors to GitHub Merge Queue; also, refactor some code, and add some more unit tests #3649
Triggered via issue
December 2, 2023 15:25
Status
Skipped
Total duration
2s
Artifacts
–