[x] Include a human-readable description of what the pull request is trying to accomplish.
[ ] Steps for the reviewer(s) on how they can manually QA the changes.
[ ] Have a fixes #XX reference to the issue that this pull request fixes.
@inkarkat I finally made the hack working! Please merge, then we can update and refactor the CI, since MacOS 10.15 and Ubuntu 18.04 are both deprecated.
Before submitting a pull request, please make sure the following is done:
master
.fixes #XX
reference to the issue that this pull request fixes.@inkarkat I finally made the hack working! Please merge, then we can update and refactor the CI, since MacOS 10.15 and Ubuntu 18.04 are both deprecated.