Skip to content

Update CI for outdated actions, build issues, add macos-14, remove mingw32#26

Open
jhmgoossens wants to merge 2 commits intocoin-or:masterfrom jhmgoossens:dev-ci-master

Commits

Commits on Apr 1, 2024

Commits on Apr 5, 2024