Rename linters workflow to pronto

We're going to add a linters workflow, so the name would be confusing.
2024-05-17 04:52:34 +02:00
parent 444b8c3390
commit e646689535
1 changed files with 2 additions and 2 deletions
--- a/.github/workflows/linters.yml
+++ b/.github/workflows/linters.yml
@@ -1,8 +1,8 @@
-name: linters
+name: pronto
 on: [pull_request]

 jobs:
-  linters:
+  pronto:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout code