From 6e53201afebde6414aa6d5f836640851ea8c19dc Mon Sep 17 00:00:00 2001
From: Jingru923 <47444880+Jingru923@users.noreply.github.com>
Date: Thu, 11 Apr 2024 15:30:49 +0200
Subject: [PATCH] rename file name and task name (#1377)

Fixes #1376 renamed python lint to mypy in pipeline
---
 .github/workflows/{python_lint.yml => mypy.yml} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename .github/workflows/{python_lint.yml => mypy.yml} (97%)

diff --git a/.github/workflows/python_lint.yml b/.github/workflows/mypy.yml
similarity index 97%
rename from .github/workflows/python_lint.yml
rename to .github/workflows/mypy.yml
index 3c4e1e57d..44bf1d363 100644
--- a/.github/workflows/python_lint.yml
+++ b/.github/workflows/mypy.yml
@@ -1,4 +1,4 @@
-name: Python Lint
+name: Mypy Type Check
 on:
   push:
     branches: [main, update/pixi-lock]