Rename lint CI job

pull/1578/head
Noah Gorny 2020-10-29 23:14:33 +02:00 committed by phreakocious
parent d103ef2a8f
commit 871ef0487c
1 changed files with 1 additions and 1 deletions

View File

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