coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-11-23 09:55:43 +03:00
Code Issues Projects Releases Wiki Activity

Fixed travis.yml file

Browse Source
This commit is contained in:
Marcin Szamotulski 2018-10-22 00:21:36 +02:00
parent 3427ddf43c
commit 015de89f7e
No known key found for this signature in database
GPG Key ID: 788D56E52D63FAA4
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.travis.yml
View File

@ -4,9 +4,8 @@ script:
- echo "trusted-users = root ${USER}" | sudo tee -a /etc/nix/nix.conf || true
- sudo pkill nix-daemon || true
- cachix use free-algebras
- nix-build --arg dev true -A free-algebras -o result-fa --argstr compiler $COMPILER
- nix-build --arg dev true -A examples -o result-ex --argstr compiler $COMPILER
- cachix push free-algebras ./result-fa ./result-ex
- nix-build --arg dev true -A free-category --argstr compiler $COMPILER
- cachix push free-algebras ./result
matrix:
include:
- name: ghc843