change pipeline names

This commit is contained in:
2024-07-10 23:53:28 +02:00
parent ac20bc3c01
commit 052fd33bad
2 changed files with 2 additions and 2 deletions

View File

@@ -2,7 +2,7 @@ on:
push: push:
pull_request: pull_request:
name: CI name: linting
jobs: jobs:
rustfmt: rustfmt:

View File

@@ -4,7 +4,7 @@ on:
- main - main
pull_request: pull_request:
name: CI name: build-and-prerelease
jobs: jobs:
flatpak: flatpak: