chore: fix CI not work for pull request (#10923)

This commit is contained in:
neverland
2022-08-17 11:48:19 +08:00
committed by GitHub
parent 4e83e5ecc0
commit 68b93a4008
2 changed files with 12 additions and 1 deletions

View File

@@ -1,6 +1,15 @@
name: CI
on: [push]
on:
push:
branches:
- '**'
pull_request:
branches:
- dev
workflow_dispatch:
jobs:
lint: