search

gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

Travis CI build failure with SBCL32 #115

Closed gheber closed 4 years ago

gheber commented 8 years ago

https://travis-ci.org/gheber/kenzo/builds/113513619

Seems to be unrelated to Kenzo. Disable for now.