diff --git a/.github/workflows/pages-only.yml b/.github/workflows/pages-only.yml index adbc75ba..f3d0796a 100644 --- a/.github/workflows/pages-only.yml +++ b/.github/workflows/pages-only.yml @@ -6,6 +6,11 @@ on: release_tag: description: "Existing release tag to publish on Pages (defaults to latest release)" required: false + push: + branches: [main, master] + paths: + - "docs/**" + - ".github/workflows/pages-only.yml" concurrency: group: github-pages-${{ github.ref }} diff --git a/docs/janos_flash.html b/docs/janos_flash.html index 1907f4a9..ddd693f5 100644 --- a/docs/janos_flash.html +++ b/docs/janos_flash.html @@ -300,7 +300,7 @@