From 8df6fb7dedbeb06254bdea726a086f84173b2a08 Mon Sep 17 00:00:00 2001
From: Luca Chiodini <luca@chiodini.org>
Date: Fri, 15 Nov 2024 16:27:18 +0100
Subject: [PATCH] ci: fix typecheck job name

---
 .github/workflows/typecheck.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/typecheck.yml b/.github/workflows/typecheck.yml
index 15bb7ef..9da4b40 100644
--- a/.github/workflows/typecheck.yml
+++ b/.github/workflows/typecheck.yml
@@ -3,7 +3,7 @@ name: Typecheck
 on: [push]
 
 jobs:
-  lint:
+  typecheck:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4