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

chore(repo): Rename formatting-linting job

bfbafed
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs