Skip to content

chore(repo): Rename formatting-linting job - #1984

Merged
nikosdouvlis merged 1 commit into
mainfrom
nikos/rename-ci-job
Oct 31, 2023
Merged

chore(repo): Rename formatting-linting job#1984
nikosdouvlis merged 1 commit into
mainfrom
nikos/rename-ci-job

Commits

Commits on Oct 31, 2023