eschnett added 2 commits
December 21, 2025 11:26
stevengj
commented
Dec 23, 2025
stevengj commented
Dec 23, 2025
Copy link
Copy Markdown
Member
Do we have a test?
eschnett requested a review from stevengj
December 24, 2025 02:06
eschnett
commented
Dec 24, 2025
eschnett commented
Dec 24, 2025
Copy link
Copy Markdown
Collaborator Author
Yes, I added a test. I could not make the test fail locally, though.
stevengj
mentioned this pull request