Skip to content

build: Pin to Ubuntu 20.04 for CI#230

Merged
yangchoo merged 1 commit intomasterfrom
yang-pin-ubuntu-build
Dec 11, 2022
Merged

build: Pin to Ubuntu 20.04 for CI#230
yangchoo merged 1 commit intomasterfrom
yang-pin-ubuntu-build

Commits

Commits on Dec 9, 2022