Skip to content

Conversation

JossyYila
Copy link
Contributor

@JossyYila JossyYila commented May 18, 2022

  • Kind: / enhancement /

Description

Change the display of not-found functions to be more user-friendly

Checklist

Note to maintainers

  • Read this wiki page
  • Make sure the PR has a milestone
  • Assign yourself before merging
  • We can squash-merge 1-commit PRs (use a header with a conventional-commit type, add a footer with Fix #… if need be)

@erikmd erikmd self-assigned this May 30, 2022
@erikmd erikmd added the kind: enhancement Enhancement to an existing user-facing feature. label Jul 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: enhancement Enhancement to an existing user-facing feature.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Feat: nicer display of missing (sub)exercises

2 participants