Skip to content

Merge pull request #24 from RolnickLab/add-mypy #9

Merge pull request #24 from RolnickLab/add-mypy

Merge pull request #24 from RolnickLab/add-mypy #9

Triggered via push April 13, 2026 22:43
Status Success
Total duration 43s
Artifacts
Publish-gh-pages
38s
Publish-gh-pages
Fit to window
Zoom out
Zoom in