search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Travis: Remove test with GHC 8.0.1 #36

Closed asr closed 7 years ago

asr commented 7 years ago

I suggest only test the latest minor version of each major version.