Skip to content

Issues: google/codeworld

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

User-reported unhelpful error message error-message Error message that could be better
#1634 opened Apr 22, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1633 opened Apr 21, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1632 opened Apr 16, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1631 opened Mar 5, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1630 opened Feb 9, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1629 opened Jan 31, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1628 opened Jan 30, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1627 opened Jan 30, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1626 opened Jan 18, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1625 opened Jan 18, 2024 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1624 opened Dec 17, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1623 opened Dec 13, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1622 opened Dec 12, 2023 by codeworld-feedback
codeworld doesn't install on ghc 9.6.3
#1621 opened Dec 5, 2023 by GeorgeCo
User-reported unhelpful error message error-message Error message that could be better
#1620 opened Nov 16, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1619 opened Nov 13, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1618 opened Sep 28, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1617 opened Sep 26, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1616 opened Sep 14, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1615 opened Sep 11, 2023 by codeworld-feedback
Run button is not working
#1614 opened Sep 7, 2023 by itoqsky
User-reported unhelpful error message error-message Error message that could be better
#1613 opened Jul 30, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1612 opened Jul 10, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1611 opened Jul 10, 2023 by codeworld-feedback
User-reported unhelpful error message error-message Error message that could be better
#1610 opened Jul 10, 2023 by codeworld-feedback
ProTip! Exclude everything labeled bug with -label:bug.