Skip to content

test: a fuzzer edits the example specs at random, runs in CI against a baseline, and keeps what it found as strict xfails - #893

Open
FBumann wants to merge 2 commits into
mainfrom
claude/mathspec-specsolve-fuzzer-439bxq
Open

test: a fuzzer edits the example specs at random, runs in CI against a baseline, and keeps what it found as strict xfails#893
FBumann wants to merge 2 commits into
mainfrom
claude/mathspec-specsolve-fuzzer-439bxq

test: the fuzzer runs in CI, against a baseline on every pull request…

2dda198
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar