Skip to content

Pin lint CI to Ubuntu 22.04#178

Merged
cleptric merged 1 commit intomasterfrom
pin-ubuntu
Jan 21, 2025
Merged

Pin lint CI to Ubuntu 22.04#178
cleptric merged 1 commit intomasterfrom
pin-ubuntu

Commits

Commits on Jan 21, 2025