Rename lint CI job

This commit is contained in:
Noah Gorny
2020-10-29 23:14:33 +02:00
parent dd1474990c
commit 0b9da701c4

View File

@@ -24,7 +24,7 @@ jobs:
include:
- language: go
go: "1.14"
name: Ubuntu 18.04
name: pre-commit lint
dist: bionic
sudo: required
before_script: