Skip to content

Edgar fixes - #1549

Merged
inducer merged 3 commits into
mainfrom
edgar-fixes
Aug 26, 2026
Merged

inducer merged 3 commits into
mainfrom
edgar-fixes

Conversation

@inducer

@inducer inducer commented Aug 26, 2026

Copy link
Copy Markdown
Owner

No description provided.

- Always propagate some answer feedback
- Use the first matcher yielding the highest feedback value
- Handle and propagate ungradable (None) correctness
4.1.0 had JS breakage in the browser console when clicking the control.
@inducer
inducer merged commit a5ae199 into main Aug 26, 2026
18 checks passed
@inducer
inducer deleted the edgar-fixes branch August 26, 2026 17:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant