do not shorten identifiers in docstrings, fix #739 (#740) #273

Triggered via push September 11, 2024 21:28

mhils

main

Status Success

Total duration 1m 14s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	945 KB