Publish docs to github.io

Update mypy (#437) #201

Sign in to view logs

Triggered via push May 18, 2024 20:44

main

Status Success

Total duration 42s

Artifacts –

build_docs.yml

on: push

Publish developer docs