Docs #38

Merged
mih merged 1 commit from flatentry into main 2025-08-19 08:44:02 +00:00
Owner
No description provided.
Some facts on the design of the desired system
All checks were successful
Codespell / Check for spelling errors (pull_request) Successful in 19s
Model checks / lint (pull_request) Successful in 1m3s
Validate examples and verify unmodified conversion / lint (pull_request) Successful in 1m50s
Codespell / Check for spelling errors (push) Successful in 18s
Model checks / lint (push) Successful in 1m2s
Validate examples and verify unmodified conversion / lint (push) Successful in 1m50s
03b4ca23fd
mih merged commit 03b4ca23fd into main 2025-04-28 09:02:24 +00:00
mih deleted branch flatentry 2025-04-28 09:02:25 +00:00
Sign in to join this conversation.
No description provided.