Skip to content

Rename job from 'check' to 'lint' in workflow - #1999

Merged
olehermanse merged 1 commit into
masterfrom
olehermanse-patch-1
Oct 23, 2025
Merged

Rename job from 'check' to 'lint' in workflow#1999
olehermanse merged 1 commit into
masterfrom
olehermanse-patch-1

Commits

Commits on Oct 23, 2025