Skip to content

.github/workflows/publish.yml #48

.github/workflows/publish.yml

.github/workflows/publish.yml #48

Workflow file for this run

on:
push:
branches:
- main
# 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:
- uses: actions/checkout@v4
- uses: DavidAnson/markdownlint-cli2-action@v15
with:
globs: "**/*.md"
- uses: actions/setup-python@v5
with:
python-version: "3.12"
- run: pip install ski-lint
- run: ski-lint --check README.md docs/*.md
- uses: creyD/prettier_action@v4.3
with:
prettier_options: --check .
- uses: gaurav-nelson/github-action-markdown-link-check@v1 # Last for performance
with:
config-file: .markdownlinkcheck.json
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/configure-pages@v5
- uses: actions/setup-python@v5
with:
python-version: "3.12"
- run: pip install mkslides
- run: mkslides build docs/
- uses: actions/upload-pages-artifact@v3
with:
path: ./site
- id: deployment
uses: actions/deploy-pages@v4