Skip to content

Merge pull request #195 from lean-dojo/dev #697

Merge pull request #195 from lean-dojo/dev

Merge pull request #195 from lean-dojo/dev #697

Workflow file for this run

name: Black Code Formatter
on: [push, pull_request]
jobs:
format-code:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: psf/black@stable
with:
options: "--check --diff"
jupyter: true