Update CI names

Joseph-Edwards · james-d-mitchell · commit ba9099228d58 · 2025-11-07T09:24:07.000Z
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -1,4 +1,4 @@
-name: Run tests and lint
+name: Run tests and lint (GitHub libsemigroups)
 on: [pull_request, workflow_dispatch]
 
 concurrency:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: Run tests and lint`
	`1`	`+name: Run tests and lint (GitHub libsemigroups)`
`2`	`2`	`on: [pull_request, workflow_dispatch]`
`3`	`3`
`4`	`4`	`concurrency:`