Skip to content

Only build docs on push to devel/main#5

Merged
max-models merged 2 commits into
develfrom
only-build-on-push-devel-and-main
Jun 22, 2025
Merged

Only build docs on push to devel/main#5
max-models merged 2 commits into
develfrom
only-build-on-push-devel-and-main

Renames to mypy (mistake)

a87450f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.