From c42c10b8841db849efa95f11c0f5e7ecec7e99d5 Mon Sep 17 00:00:00 2001
From: Jingru Feng <feng_jingru@foxmail.com>
Date: Thu, 11 Apr 2024 12:50:24 +0200
Subject: [PATCH] rename file name and task name

---
 .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]