Skip to content

Commit

Permalink
Push docs to pages after publish too, as tag push fails
Browse files Browse the repository at this point in the history
  • Loading branch information
timtebeek committed Feb 7, 2024
1 parent d6b8e99 commit 5698fca
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .github/workflows/pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,11 @@ on:
push:
tags:
- v*
workflow_dispatch: {}
workflow_run:
workflows: ["publish"]
types:
- completed

# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
Expand Down

0 comments on commit 5698fca

Please sign in to comment.