search

statebox / idris-ct

formally verified category theory library
GNU Affero General Public License v3.0
259 stars 23 forks source link

Solve timeout problem with Travis #39

Closed marcosh closed 5 years ago

marcosh commented 5 years ago

my idea is to add a --log 1 in the build process so there is continuous output and Travis does not stop.

This implies modifying the build-idris-package nix package

marcosh commented 5 years ago

see https://github.com/NixOS/nixpkgs/pull/65666