Skip to content

ci: use ubuntu-20.04 for the Linux build#1983

Merged
kittaakos merged 2 commits intomainfrom
ci--use-ubuntu-latest
Apr 13, 2023
Merged

ci: use `ubuntu-20.04` for the Linux build#1983
kittaakos merged 2 commits intomainfrom
ci--use-ubuntu-latest

Commits

Commits on Mar 29, 2023

Commits on Apr 11, 2023