ci: replace custom lint job with pre-commit/action#512

Merged

huberrob merged 3 commits intopangaea-data-publisher:masterfrom afuetterer:ci

Jul 23, 2024

+7-46

Commits on Jul 10, 2024

ci: replace custom lint job with pre-commit/action
afuetterer
committed

Commits on Jul 18, 2024