Give each CI file a unique name

This commit is contained in:
Luke Tainton 2022-06-25 22:39:39 +01:00
parent 8b25be3889
commit 935a927357
No known key found for this signature in database
GPG Key ID: ABEE10849773E353
3 changed files with 3 additions and 3 deletions

View File

@ -1,4 +1,4 @@
name: CI
name: CI - Merge to main
on:
workflow_dispatch:
push:

View File

@ -1,4 +1,4 @@
name: CI
name: CI - Development
on:
workflow_dispatch:
push:

View File

@ -1,4 +1,4 @@
name: CI
name: CI - Pull request
on:
pull_request:
paths-ignore: