Renamed workflows.

This commit is contained in:
Patrick Lehmann
2023-10-02 19:05:31 +02:00
parent 996c1b6f94
commit d754745237
2 changed files with 3 additions and 2 deletions

View File

@@ -1,4 +1,5 @@
name: Pipeline
#name: Pipeline
name: Documentation
on:
push:

View File

@@ -1,4 +1,4 @@
name: Pipeline
name: Verification Pipeline
on:
push: