Fix warnings with GCC on Ubuntu 20.04#149

Merged

philippewarren merged 3 commits intomainfrom fix-warnings

Dec 18, 2024

+145-114

Commits on Dec 6, 2024

Fix warnings with GCC on Ubuntu 20.04
philippewarren
committed
Replace MacOS 12 with MacOS 13 in CI, as GitHub MacOS 12 runners are deprecated
philippewarren
committed

Commits on Dec 17, 2024

Fix MacOS 13 CI
philippewarren
committed