Skip to content

chore: use ubuntu-20.04 in git action#5894

Merged
hunjixin merged 1 commit intomasterfrom chore/update-ciApr 11, 2023

Commits