Prevent duplicate CI runs, also work with PRs from forks (#1443)

* Prevent duplicate CI runs

* Trigger CI on pull requests from forks
This commit is contained in:
Kien Dang 2023-08-06 06:45:10 +08:00 committed by GitHub
parent 5eb5fe294a
commit 45a732f1db
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 2 deletions

View File

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

View File

@ -1,6 +1,9 @@
name: Tests
on: [push, pull_request]
on:
push:
branches: ["main"]
pull_request:
jobs:
build: