Skip to content

Allow spaces in name

Camil Staps requested to merge allow-spaces-in-name into main

What does this MR do?

  • Adds basic result information to ProblemResults, because they will have distance 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)

Related issues

cloogle-web#246 (closed)

Merge request reports