Skip to content

Merge pull request #37 from joshorr/josho/better-mypy-support-and-aut… #36

Merge pull request #37 from joshorr/josho/better-mypy-support-and-aut…

Merge pull request #37 from joshorr/josho/better-mypy-support-and-aut… #36

Triggered via push January 31, 2025 18:07
Status Success
Total duration 55s
Artifacts

push-main.yml

on: push
reusable  /  create-release
34s
reusable / create-release
reusable  /  ...  /  publish_docs
reusable / publish-docs / publish_docs
reusable  /  create-release-output
0s
reusable / create-release-output
reusable  /  ...  /  force-publish
reusable / publish-release / force-publish
Fit to window
Zoom out
Zoom in