From b24e301201b471030241f9dab5b411c24984e0c1 Mon Sep 17 00:00:00 2001
From: Juan Orduz <juan.orduz@wolt.com>
Date: Tue, 12 Nov 2024 19:37:35 +0100
Subject: [PATCH] rename step

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2ff1fad0c..3669d3744 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -32,7 +32,7 @@ jobs:
         pip install https://github.com/pyro-ppl/funsor/archive/master.zip
         pip install -r docs/requirements.txt
         pip freeze
-    - name: Lint with ruff
+    - name: Lint with mypy and ruff
       run: |
         make lint
     - name: Build documentation