Pipelines

- No idea what that meant
tbklang · May 14, 2024 · ebefcd5 · ebefcd5
1 parent cd9fb4a
commit ebefcd5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/d.yml b/.github/workflows/d.yml
@@ -92,7 +92,7 @@ jobs:
 
   syntaxcheck:
     needs: [build, unittests]
-    name: Syntax checking (fine typecheck home)
+    name: Syntax checking
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2