Skip to content

ci: upgrade ubuntu for old gcc job#768

Merged
supervacuus merged 2 commits intomasterfrom ci/upgrade-ubuntu-old-gcc-jobOct 24, 2022

Commits

Commits on Oct 21, 2022

Commits on Oct 24, 2022