disabling GitHub Actions on pull_request (for this PR)

This commit is contained in:
Ralf W. Grosse-Kunstleve 2020-11-20 12:40:46 -08:00
parent ea1cdf82ce
commit 45a6093c3f
4 changed files with 4 additions and 4 deletions

View File

@ -2,7 +2,7 @@ name: CI
on: on:
workflow_dispatch: workflow_dispatch:
pull_request: # pull_request:
push: push:
branches: branches:
- master - master

View File

@ -2,7 +2,7 @@ name: Config
on: on:
workflow_dispatch: workflow_dispatch:
pull_request: # pull_request:
push: push:
branches: branches:
- master - master

View File

@ -5,7 +5,7 @@ name: Format
on: on:
workflow_dispatch: workflow_dispatch:
pull_request: # pull_request:
push: push:
branches: branches:
- master - master

View File

@ -2,7 +2,7 @@ name: Pip
on: on:
workflow_dispatch: workflow_dispatch:
pull_request: # pull_request:
push: push:
branches: branches:
- master - master