rename file name and task name (#1377)

Fixes #1376 renamed python lint to mypy in pipeline
Deltares · Apr 11, 2024 · 6e53201 · 6e53201
1 parent 51bc8ae
commit 6e53201
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/python_lint.yml → .github/workflows/mypy.yml b/.github/workflows/python_lint.yml → .github/workflows/mypy.yml
@@ -1,4 +1,4 @@
-name: Python Lint
+name: Mypy Type Check
 on:
   push:
     branches: [main, update/pixi-lock]