CI: migrate from Bors to GitHub Merge Queue; also, refactor some code, and add some more unit tests #3684
Triggered via issue
December 4, 2023 21:06
DilumAluthge
Status
Skipped
Total duration
2s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention