Rename CI Flow

This commit is contained in:
Sven-Hendrik Haase 2020-07-03 03:10:30 +02:00
parent 010fda07b6
commit 0e699b142b
No known key found for this signature in database
GPG Key ID: 39E4B877E62EB915

View File

@ -1,4 +1,4 @@
name: "PR Checks" name: "CI"
on: [pull_request, push] on: [pull_request, push]
jobs: jobs: