Skip to content

refactor: remove research overview page from nav and move publication… #226

refactor: remove research overview page from nav and move publication…

refactor: remove research overview page from nav and move publication… #226

Workflow file for this run

name: CI
on:
push:
branches: [main]
pull_request:
workflow_dispatch:
jobs:
lint:
runs-on: ubuntu-latest
steps:
- name: Checkout ${{ github.repository }}
uses: actions/[email protected]
- name: Install uv
uses: astral-sh/[email protected]
id: setup-uv
with:
# renovate: datasource=pypi dependency=uv
version: "0.5.1"
enable-cache: false
- name: Print the installed version
run: echo "Installed uv version is ${{ steps.setup-uv.outputs.uv-version }}"
- name: Install Python
run: uv python install
- name: Print python version
run: uv python list
- name: Check lockfile is up-to-date
run: uv lock --locked
- name: Run pre-commit
uses: pre-commit/[email protected]
- name: Run markdownlint
uses: YannickTeKulve/[email protected]
with:
image: davidanson/markdownlint-cli2-rules:v0.14.0
# node user does not have permissions to workspace due to user id mismatch
options: -v ${{ github.workspace }}:/workdir --user root
# don't fail step if there are violations
run: markdownlint-cli2 --config .github/markdownlint/.markdownlint-cli2.yaml "**/*.md" || true
- name: Upload SARIF file
uses: github/codeql-action/upload-sarif@v3
with:
# Path to SARIF file relative to the root of the repository
sarif_file: markdownlint-cli2-sarif.sarif
# Optional category for the results
# Used to differentiate multiple results for one commit
category: markdownlint
# fail if there are markdownlint violations
- name: Check markdownlint results
run: |
cat markdownlint-cli2-sarif.sarif | grep -q '"results": \[\]'
- name: Build mkdocs site
run: uv run mkdocs build --strict