From 58706975241a44c8fe58475e268994167349bbb8 Mon Sep 17 00:00:00 2001
From: Christian Semmler <mail@csemmler.com>
Date: Wed, 10 Jan 2024 17:30:59 -0500
Subject: [PATCH] Add more names

---
 .github/workflows/analyze.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/analyze.yml b/.github/workflows/analyze.yml
index e139b8bf..01b85f47 100644
--- a/.github/workflows/analyze.yml
+++ b/.github/workflows/analyze.yml
@@ -4,6 +4,7 @@ on: [push, pull_request]
 
 jobs:
   decomplint-isle:
+    name: 'ISLE annotations'
     runs-on: ubuntu-latest
 
     steps:
@@ -18,6 +19,7 @@ jobs:
         python3 tools/decomplint/decomplint.py ISLE --module ISLE --warnfail
 
   decomplint-lego1:
+    name: 'LEGO1 annotations'
     runs-on: ubuntu-latest
 
     steps: