change ci name

This commit is contained in:
blockparole 2019-11-03 19:31:23 +01:00 committed by GitHub
parent 2661c4461d
commit f479685f5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
name: Gill Bates name: Java CI
on: [push] on: [push]