Skip to content

Add defaults for Element() attrs/children. #117

Add defaults for Element() attrs/children.

Add defaults for Element() attrs/children. #117

Triggered via push August 12, 2024 19:54
Status Success
Total duration 37s
Artifacts

main.yml

on: push
pre-commit
15s
pre-commit
Matrix: mypy
Matrix: pyright
Matrix: pytest
Fit to window
Zoom out
Zoom in