Commit 9f5c9b76 authored by Peter Parente's avatar Peter Parente

Fix push -> pull_request event triggers

I originally tested in my fork where everything happened to be a push to a branch in the same repo.
parent 95f792c6
name: Build Docker Images name: Build Docker Images
on: on:
pull_request:
paths-ignore:
- "*.md"
- "binder/**"
- "docs/**"
- "examples/**"
push: push:
branches:
- master
paths-ignore: paths-ignore:
- "*.md" - "*.md"
- "binder/**" - "binder/**"
......
name: Build Sphinx Documentation name: Build Sphinx Documentation
on: on:
pull_request:
paths:
- "docs/**"
- ".github/workflows/sphinx.yml"
push: push:
branches:
- master
paths: paths:
- "docs/**" - "docs/**"
- ".github/workflows/sphinx.yml" - ".github/workflows/sphinx.yml"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment