Fix `gcc` compilation and CI integration.#307

Draft

Jezurko wants to merge 4 commits intomasterfrom gcc-build

+13-9

Commits on May 12, 2023

git: Fix compiler matrix.
Jezurko
committed

Commits on May 16, 2023

Commits on May 24, 2023

XXX: Relax gcc warnings.
Jezurko
committed