Skip to content
This repository has been archived by the owner on Aug 18, 2024. It is now read-only.

Merge branch 'master' into master #1

Merge branch 'master' into master

Merge branch 'master' into master #1

Workflow file for this run

name: Lint
on: [push, pull_request]
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: pre-commit/[email protected]