Skip to content

Merge branch 'dev' #203

Merge branch 'dev'

Merge branch 'dev' #203

Workflow file for this run

name: Publish Docs
on:
workflow_dispatch:
push:
branches:
- 'master' # run only for master
jobs:
skip_check:
name: Skip Check
continue-on-error: true
runs-on: ubuntu-latest
outputs:
should_skip: ${{ steps.skip_check.outputs.should_skip }}
steps:
- id: skip_check
uses: fkirc/skip-duplicate-actions@v5.3.2
with:
concurrent_skipping: 'never'
skip_after_successful_duplicate: 'true'
paths: '[
".github/workflows/publish-docs.yml",
"assets/**",
"docs/**",
"gem/config/pagy.rb",
"gem/locales/en.yml",
"gem/stylesheets/**",
"README.md"]'
do_not_skip: '["workflow_dispatch"]'
publish:
needs: skip_check
if: ${{ needs.skip_check.outputs.should_skip != 'true' }}
name: Publish to docs-site branch
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v7
with:
fetch-depth: 0
- uses: retypeapp/action-build@latest
env:
RETYPE_KEY: ${{ secrets.RETYPE_KEY }}
with:
config_path: docs/
- uses: retypeapp/action-github-pages@latest
with:
branch: docsite
update-branch: true