rename workflow

Maxxen · Maxxen · commit 65977b84b447 · 2025-01-08T15:38:40.000+01:00
diff --git a/.github/workflows/Linux.yml b/.github/workflows/Linux.yml
@@ -1,4 +1,4 @@
-name: Linux
+name: Integration Tests
 on: [push, pull_request,repository_dispatch]
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref || '' }}-${{ github.base_ref || '' }}-${{ github.ref != 'refs/heads/main' || github.sha }}

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: Linux`
	`1`	`+name: Integration Tests`
`2`	`2`	`on: [push, pull_request,repository_dispatch]`
`3`	`3`	`concurrency:`
`4`	`4`	`group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref \|\| '' }}-${{ github.base_ref \|\| '' }}-${{ github.ref != 'refs/heads/main' \|\| github.sha }}`