From 4913d5eaf4cf5ec8141c836a8d04bab69182c073 Mon Sep 17 00:00:00 2001
From: David Brochart <david.brochart@gmail.com>
Date: Fri, 15 Dec 2023 16:31:48 +0100
Subject: [PATCH] Check types in a separate CI job

---
 .github/workflows/{main.yml => test.yml} | 33 +++++++++++++++++-------
 README.md                                |  2 +-
 2 files changed, 24 insertions(+), 11 deletions(-)
 rename .github/workflows/{main.yml => test.yml} (79%)

diff --git a/.github/workflows/main.yml b/.github/workflows/test.yml
similarity index 79%
rename from .github/workflows/main.yml
rename to .github/workflows/test.yml
index 4f9f584d..e35955f5 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/test.yml
@@ -1,4 +1,4 @@
-name: CI
+name: test
 
 on:
   push:
@@ -13,6 +13,28 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
+  types:
+    name: Types
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+    - uses: actions/setup-python@v4
+      with:
+        python-version: '3.11'
+        cache: 'pip'
+    - name: Upgrade pip
+      run: python3 -m pip install --upgrade pip
+    - name: Check types
+      run: |
+        pip install hatch
+        hatch run dev.jupyterlab-noauth:typecheck
+        hatch run dev.jupyterlab-auth:typecheck
+        hatch run dev.jupyterlab-auth_fief:typecheck
+        hatch run dev.retrolab-noauth:typecheck
+        hatch run dev.retrolab-auth:typecheck
+        hatch run dev.retrolab-auth_fief:typecheck
+
   test:
     name: Test
     runs-on: ${{ matrix.os }}
@@ -39,15 +61,6 @@ jobs:
         pip install hatch
         hatch env create dev.jupyterlab-auth
 
-    - name: Check types
-      run: |
-        hatch run dev.jupyterlab-noauth:typecheck
-        hatch run dev.jupyterlab-auth:typecheck
-        hatch run dev.jupyterlab-auth_fief:typecheck
-        hatch run dev.retrolab-noauth:typecheck
-        hatch run dev.retrolab-auth:typecheck
-        hatch run dev.retrolab-auth_fief:typecheck
-
     - name: Run tests
       run: |
         hatch run dev.jupyterlab-auth:test
diff --git a/README.md b/README.md
index 4f443313..1b58da9a 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-[![Build Status](https://github.com/jupyter-server/jupyverse/workflows/CI/badge.svg)](https://github.com/jupyter-server/jupyverse/actions)
+[![Build Status](https://github.com/jupyter-server/jupyverse/workflows/test/badge.svg)](https://github.com/jupyter-server/jupyverse/actions)
 
 # jupyverse