Skip to content

Merge branch 'main' into bump-ruff-053 #84

Merge branch 'main' into bump-ruff-053

Merge branch 'main' into bump-ruff-053 #84

Triggered via push July 18, 2024 21:11
Status Success
Total duration 51s
Artifacts

lint.yml

on: push
ruff-mypy
40s
ruff-mypy
Fit to window
Zoom out
Zoom in