Skip to content

Add exec permission to the script (#2023) #1163

Add exec permission to the script (#2023)

Add exec permission to the script (#2023) #1163

Workflow file for this run

# documentation publish
---
name: doc-publish
on:
push:
branches:
- master
- main
permissions:
contents: read
jobs:
deploy:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4.1.4
- name: generate site
uses: ./.github/actions/documentation
- name: Deploy
uses: peaceiris/actions-gh-pages@4f9cc6602d3f66b9c108549d475ec49e8ef4d45e # v4.0.0
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./site