Allow spaces in name
What does this MR do?
- Adds basic result information to
ProblemResult
s, because they will havedistance
after these are indexed in the backend (cloogle-web#246 (closed)) - Updates documentation of
InvalidName
: names will be able to contain spaces after cloogle-web#246 (closed)
Changes to public APIs
See above. The first is a breaking change.
Author's checklist (required)
-
Intermediate commits compile (use git rebase -i main
if not) -
Newly added code has a style consistent with the rest of the repository -
Newly added code is documented (guidelines) -
If bugs have been solved, tests have been added (guidelines) -
A changelog entry has been added (guidelines)