rename github workflows

martenson · martenson · commit c054587cf830 · 2025-03-13T14:54:08.000+01:00
diff --git a/.github/workflows/dispatch_lint.yml b/.github/workflows/dispatch_lint.yml
@@ -1,4 +1,4 @@
-name: Tool linting
+name: Dispatch Lint
 
 on:
   workflow_dispatch:
diff --git a/.github/workflows/dispatch_update.yml b/.github/workflows/dispatch_update.yml
@@ -1,4 +1,4 @@
-name: Tool Updating
+name: Dispatch Update
 
 on:
   # schedule:
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,4 +1,4 @@
-name: Tool linting
+name: PR Lint
 
 on:
   pull_request:
