Skip to content

Conversation

@mo271
Copy link
Collaborator

@mo271 mo271 commented Jan 31, 2026

fixes parts of #1407

@mo271 mo271 requested a review from Paul-Lez January 31, 2026 21:56
@github-actions github-actions bot added erdos-problems Erdős Problems oeis Conjectures from oeis.org labels Jan 31, 2026
@mo271 mo271 changed the title feeat(Linter): catch dubious usages of answer(sorry) feat(Linter): catch dubious usages of answer(sorry) Jan 31, 2026
@mo271 mo271 added the linter label Jan 31, 2026
@mo271 mo271 removed erdos-problems Erdős Problems oeis Conjectures from oeis.org labels Jan 31, 2026
Copy link
Member

@Paul-Lez Paul-Lez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(Will give a more in depth review afterwards)
In the test file I think it would be worth adding some tests where answer(sorry) isn't a prop

@github-actions github-actions bot added erdos-problems Erdős Problems oeis Conjectures from oeis.org labels Feb 2, 2026
@mo271
Copy link
Collaborator Author

mo271 commented Feb 2, 2026

(Will give a more in depth review afterwards) In the test file I think it would be worth adding some tests where answer(sorry) isn't a prop

done

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

erdos-problems Erdős Problems linter misformalization oeis Conjectures from oeis.org

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants