Skip to content

Merge pull request #2916 from jderuiter/mypy-integration #2138

Merge pull request #2916 from jderuiter/mypy-integration

Merge pull request #2916 from jderuiter/mypy-integration #2138

Triggered via push July 23, 2023 01:14
Status Success
Total duration 16s
Artifacts

prettier.yaml

on: push
Lint with Prettier
6s
Lint with Prettier
Fit to window
Zoom out
Zoom in