Changing name of github pipeline

This commit is contained in:
Patrick Müller 2020-10-21 19:42:00 +02:00
parent a34d6820db
commit 7a0def0e9c

View File

@ -1,5 +1,5 @@
name: Build name: Test
on: on:
push: push:
branches: branches: