Only run on push to prevent double runs

This commit is contained in:
Hugo 2019-09-13 08:21:24 +03:00
parent 77f5b04ed7
commit f6eb0f7702

View File

@ -1,6 +1,6 @@
name: Lint
on: [push, pull_request]
on: push
jobs:
build: