Skip to content

Merge branch 'main' into latest #85

Merge branch 'main' into latest

Merge branch 'main' into latest #85

Triggered via push March 18, 2024 17:45
Status Success
Total duration 2m 9s
Artifacts

mypy.yaml

on: push
Python mypy
13s
Python mypy
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Python mypy
The `python-version` input is not set. The version of Python currently in `PATH` will be used.