.github: Run workflows on push event only

This commit is contained in:
Zhaofeng Li 2024-11-07 17:08:49 -07:00
parent a70411fd1d
commit ce1aa41ff4
3 changed files with 0 additions and 3 deletions

View file

@ -1,6 +1,5 @@
name: Build
on:
pull_request:
push:
jobs:
build:

View file

@ -1,7 +1,6 @@
name: Linters
on:
pull_request:
push:
jobs:
linters:

View file

@ -1,6 +1,5 @@
name: Tests
on:
pull_request:
push:
jobs:
tests: