Skip to content

Fix Github edit links in top-right of HTML pages #74

Fix Github edit links in top-right of HTML pages

Fix Github edit links in top-right of HTML pages #74

Workflow file for this run

name: pre-commit
on:
pull_request:
push:
branches: [master]
jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: '3.7'
- uses: pre-commit/[email protected]