| push: | push: | ||||
| branches: ["master"] | branches: ["master"] | ||||
| # Allows you to run this workflow manually from the Actions tab | |||||
| workflow_dispatch: | |||||
| # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages | # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages | ||||
| permissions: | permissions: | ||||
| contents: read | contents: read |