Skip to content

Merge pull request #3 from HoGentTIN/dependabot/github_actions/action… #63

Merge pull request #3 from HoGentTIN/dependabot/github_actions/action…

Merge pull request #3 from HoGentTIN/dependabot/github_actions/action… #63

Workflow file for this run

on:
push:
pull_request:
# 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
permissions:
contents: read
pages: write
id-token: write
jobs:
lint:
runs-on: ubuntu-latest
steps:
- run: shopt -s globstar
- uses: actions/checkout@v4
- uses: DavidAnson/markdownlint-cli2-action@v16
with:
globs: "**/*.md"
- run: pip install yamllint
- run: yamllint --strict .
- uses: gaurav-nelson/github-action-markdown-link-check@v1
with:
use-quiet-mode: "yes"
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
needs: lint
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-node@v3
- run: npm install -g reveal-md
- run: reveal-md docs/ --static
- uses: actions/configure-pages@v5
- uses: actions/upload-pages-artifact@v3
with:
path: ./html
- id: deployment
uses: actions/deploy-pages@v2