From 15bd02c8c80f9ed206006f9c4974224e0c9c1532 Mon Sep 17 00:00:00 2001 From: Jeff Jennings Date: Mon, 24 Jun 2024 15:29:37 -0400 Subject: [PATCH] docs.yml: trigger workflow only on push to main --- .github/workflows/docs.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 933ba3b..e088a9a 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,12 +1,12 @@ name: docs -# Run this workflow when a review is requested on a PR that targets the master -# branch, or the PR is closed on: push + branches: [main] +# when a review is requested on a PR that targets `main`, +# or the PR is closed: # pull_request: # types: [review_requested, closed] - # branches: [master] # Prevent multiple PRs from building/deploying the docs at the same time concurrency: @@ -43,9 +43,9 @@ jobs: # check code coverage, store results in the built docs. # coverage.py creates a .gitignore with '*' where it's run; remove it - # to keep the cooverage report and badge on gh-pages + # to keep the coverage report and badge on gh-pages - name: Coverage - # only continue if the PR is not just closed, but also merged + # only continue if the PR is not just closed, but also merged: # if: github.event.pull_request.merged == true run: | coverage run --source=py_template -m pytest test/*.py