Don't run CI on pushes unless part of a PR
This commit is contained in:
parent
1b2e622418
commit
07b63127f7
8
.github/workflows/dist.yml
vendored
8
.github/workflows/dist.yml
vendored
@ -1,7 +1,13 @@
|
||||
---
|
||||
name: dist
|
||||
|
||||
on: [push, pull_request]
|
||||
on:
|
||||
pull_request:
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
tags:
|
||||
- '*'
|
||||
|
||||
jobs:
|
||||
check:
|
||||
|
Loading…
x
Reference in New Issue
Block a user