Rename PR job (#1250)

This commit is contained in:
Jake Sanders 2020-02-24 14:16:51 +00:00 committed by GitHub
parent 5b0175c2e5
commit 56f8115ea8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,7 +4,7 @@ on: pull_request
jobs:
prtest:
name: Test repo
name: PR sanity check
runs-on: ubuntu-latest
steps: