CI: migrate from Bors to GitHub Merge Queue; also, refactor some code, and add some more unit tests#477

Merged

DilumAluthge merged 25 commits intomasterfrom dpa/merge-queue

Jan 8, 2024

+69-45

Commits on Dec 2, 2023

Commits on Dec 3, 2023

Refactor some code, and increase the unit test code coverage for src/main.jl (#481 )
DilumAluthge
authored

Commits on Dec 4, 2023

Revert the changes to codecov.yml (#482 )
DilumAluthge
authored

Commits on Jan 8, 2024

Lower Codecov threshold to 99% because of GitHub Merge Queue limitations (#484 )
DilumAluthge
authored