From f6d9f91eb19894dc92ab2c303ea7278f008f8292 Mon Sep 17 00:00:00 2001
From: Michal Sojka <michal.sojka@cvut.cz>
Date: Wed, 18 Sep 2024 08:16:31 +0200
Subject: [PATCH] Update CI workflow

---
 .github/workflows/ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8d44a98..45c6f59 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,11 +1,12 @@
+name: CI
 on:
   pull_request:
   push:
     branches: [main]
 
 jobs:
-  lints:
-    name: Build
+  flake-check:
+    name: Flake check
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4