First steps towards a Distribution annotation #75

Merged
mih merged 1 commit from flatentry into main 2025-05-26 06:21:14 +00:00

1 commit

Author SHA1 Message Date
68a1d8e63e
First steps towards a Distribution annotation
All checks were successful
Codespell / Check for spelling errors (pull_request) Successful in 19s
Model checks / lint (pull_request) Successful in 1m40s
Validate examples and verify unmodified conversion / lint (pull_request) Successful in 2m42s
Codespell / Check for spelling errors (push) Successful in 21s
Model checks / lint (push) Successful in 1m36s
Validate examples and verify unmodified conversion / lint (push) Successful in 2m42s
2025-05-26 08:03:34 +02:00