Skip to content

ci: gate merges on the lint job - #118

Closed
joris974 wants to merge 1 commit into
mainfrom
gate-lint
Closed

joris974 wants to merge 1 commit into
mainfrom
gate-lint