name: Deploy lint docs to GitHub Pages
on:
push:
branches: [main]
paths:
- "linter/src/lints/docs/**"
- "linter/src/config.rs"
- "docs/**"
- ".github/workflows/pages.yml"
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: pages
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
- uses: Swatinem/rust-cache@v2
- name: Build cargo-slippy
run: cargo build --release --bin cargo-slippy
- name: Generate lints.json
run: ./target/release/cargo-slippy gen-docs > docs/lints.json
- name: Download marked.js
run: curl -fsSL https://cdn.jsdelivr.net/npm/marked/marked.min.js -o docs/marked.min.js
- name: Upload Pages artifact
uses: actions/upload-pages-artifact@v3
with:
path: docs
deploy:
needs: build
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4