|
|
|
@ -1,14 +1,12 @@
|
|
|
|
name: Deploy to GitHub Pages
|
|
|
|
name: Deploy to GitHub Pages
|
|
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
on:
|
|
|
|
# Trigger the workflow every time you push to the `main` branch
|
|
|
|
|
|
|
|
# Using a different branch name? Replace `main` with your branch’s name
|
|
|
|
|
|
|
|
push:
|
|
|
|
push:
|
|
|
|
branches: [main]
|
|
|
|
branches: [main]
|
|
|
|
# Allows you to run this workflow manually from the Actions tab on GitHub.
|
|
|
|
paths:
|
|
|
|
workflow_dispatch:
|
|
|
|
- 'docs/**'
|
|
|
|
|
|
|
|
- '.github/workflows/**'
|
|
|
|
|
|
|
|
|
|
|
|
# Allow this job to clone the repo and create a page deployment
|
|
|
|
|
|
|
|
permissions:
|
|
|
|
permissions:
|
|
|
|
contents: read
|
|
|
|
contents: read
|
|
|
|
pages: write
|
|
|
|
pages: write
|
|
|
|
|