Skip to content

fix(GCongr): handle @[reducible] HasSSubset.SSubset in hypothesis cla… #72

fix(GCongr): handle @[reducible] HasSSubset.SSubset in hypothesis cla…

fix(GCongr): handle @[reducible] HasSSubset.SSubset in hypothesis cla… #72

Triggered via push February 10, 2026 00:49
Status Skipped
Total duration 1s
Artifacts
Add topic label
0s
Add topic label
Fit to window
Zoom out
Zoom in