From 98e9610f5b91ee99ee40fa780497cc84d8114a27 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Wed, 15 May 2024 19:23:07 +0200
Subject: [PATCH] ci: rename `check-docs` job to `doc`
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 30a35c6400..554985ecef 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -57,8 +57,8 @@ jobs:
       - run: rustup component add rustfmt
       - run: cargo fmt -- --check
 
-  check-docs:
-    name: Check docs
+  doc:
+    name: Doc
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4