dump-things API requires anything to be derived from Thing #18

Merged
mih merged 1 commit from flatentry into main 2025-04-22 08:15:13 +00:00

1 commit

Author SHA1 Message Date
3f7f0b8761
dump-things API requires anything to be derived from Thing
All checks were successful
Codespell / Check for spelling errors (pull_request) Successful in 20s
Model checks / lint (pull_request) Successful in 1m9s
Validate examples and verify unmodified conversion / lint (pull_request) Successful in 1m33s
Codespell / Check for spelling errors (push) Successful in 20s
Model checks / lint (push) Successful in 1m6s
Validate examples and verify unmodified conversion / lint (push) Successful in 1m30s
2025-04-22 10:12:21 +02:00