Build Docs

Bump mypy from 1.7.1 to 1.8.0 (#138) #197

Triggered via push December 28, 2023 16:27

main

Status Success

Total duration 1m 55s

Artifacts 1

build_docs.yml

on: push

Produced during runtime

Name	Size
doc Expired	143 MB