Skip to content
GitLab
Explore
Sign in
Register
v0.33.0
cf2d1a6d
·
ci: pin to ubuntu-20.04 for Gio's benefit
·
May 12, 2023