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
Owner
No description provided.
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
3f7f0b8761
mih merged commit 3f7f0b8761 into main 2025-04-22 08:15:13 +00:00
mih deleted branch flatentry 2025-04-22 08:15:13 +00:00
Sign in to join this conversation.
No description provided.