Fix: Give workflow a name (#8060)

This commit is contained in:
Benjamin Eberlei
2020-03-04 23:32:11 +01:00
committed by GitHub
parent 7de263c740
commit 8c259ea5cb

View File

@@ -1,3 +1,5 @@
name: CI
on:
pull_request:
push: