update if and add type hints (#603) #1406

Triggered via push November 29, 2023 18:31

main

Status Success

Total duration 1m 40s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

sphinx-build.yml

on: push

Produced during runtime

Name	Size
website Expired	13.4 MB