Work around timeouts in CI

MCLF / henselization

Generic Completions/Henselizations in Sage

GNU General Public License v2.0

6 stars 1 forks source link

Closed saraedum closed 6 years ago

saraedum commented 6 years ago

I might want to make these tests easier so they don't take 15 minutes to finish