Skip to content

Update docs

Update docs #4

Workflow file for this run

---
name: Documentation
on: # yamllint disable-line rule:truthy
push:
branches: [master, simplesamlphp-*]
paths:
- '**.md'
pull_request:
branches: [master, simplesamlphp-*]
paths:
- '**.md'
workflow_dispatch:
jobs:
quality:
name: Quality checks
runs-on: [ubuntu-latest]
steps:
- uses: actions/checkout@v4
- name: Lint markdown files
uses: nosborn/github-action-markdown-cli@v3
with:
files: .
ignore_path: .markdownlintignore
- name: Perform spell check
uses: codespell-project/actions-codespell@v2
with:
path: '**/*.md'
check_filenames: true
ignore_words_list: tekst
build:
name: Build documentation
needs: quality
runs-on: [ubuntu-latest]
steps:
- name: Run docs build
if: github.event_name != 'pull_request'
uses: actions/github-script@v7
with:
# Token has to be generated on a user account that controls the docs-repository.
# The _only_ scope to select is "Access public repositories", nothing more.
github-token: ${{ secrets.PAT_TOKEN }}
script: |
await github.rest.actions.createWorkflowDispatch({
owner: 'simplesamlphp',
repo: 'docs',
workflow_id: 'mk_docs.yml',
ref: 'main'
})