chore: no need to run lint on pull requests (#453)

pull/454/head
Amio Jin 2020-12-13 16:45:24 +08:00 zatwierdzone przez GitHub
rodzic b7751e2e5a
commit e6d72e4c7e
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

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