Skip to content

CI: move lint to a separate workflow#1695

Merged
XhmikosR merged 1 commit intomainfrom
xmr/ci
Apr 26, 2023
Merged

CI: move lint to a separate workflow#1695
XhmikosR merged 1 commit intomainfrom
xmr/ci

Commits

Commits on Apr 26, 2023