Skip to content

Fix job names in github actions. #708

Fix job names in github actions.

Fix job names in github actions. #708

Workflow file for this run

name: pre-commit
permissions:
contents: read
on:
- push
- pull_request
jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- uses: pre-commit/[email protected]