Add more names

This commit is contained in:
Christian Semmler 2024-01-10 17:30:59 -05:00
parent ba2841a02d
commit 5870697524

View File

@ -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: