Rename CI workflow to Presubmit

This commit is contained in:
Romain Guy
2019-08-31 11:53:20 -07:00
committed by GitHub
parent db8d4ee076
commit ceafc7835b

View File

@@ -1,4 +1,4 @@
name: Continuous Integration
name: Presubmit
on: [pull_request]