Skip to content

Merge branch 'main' of github.com:riscv/docs-dev-guide #137

Merge branch 'main' of github.com:riscv/docs-dev-guide

Merge branch 'main' of github.com:riscv/docs-dev-guide #137

Workflow file for this run

---
name: pre-commit
on:
pull_request:
push:
branches: [main]
jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
- uses: pre-commit/action@v3.0.0