From e646689535b296b2a7f895cdc442037dc80f5a3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javi=20Mart=C3=ADn?= <javim@elretirao.net>
Date: Fri, 17 May 2024 04:52:34 +0200
Subject: [PATCH] Rename linters workflow to pronto

We're going to add a linters workflow, so the name would be confusing.
---
 .github/workflows/{linters.yml => pronto.yml} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 rename .github/workflows/{linters.yml => pronto.yml} (97%)

diff --git a/.github/workflows/linters.yml b/.github/workflows/pronto.yml
similarity index 97%
rename from .github/workflows/linters.yml
rename to .github/workflows/pronto.yml
index 0d7bdd3cf..5cf1e4d07 100644
--- a/.github/workflows/linters.yml
+++ b/.github/workflows/pronto.yml
@@ -1,8 +1,8 @@
-name: linters
+name: pronto
 on: [pull_request]
 
 jobs:
-  linters:
+  pronto:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code