Skip to content

Commit

Permalink
Configure bare-bones Travis build
Browse files Browse the repository at this point in the history
  • Loading branch information
@yurrriq
yurrriq committed Oct 26, 2018
1 parent 2fd3c68 commit b38a117
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 0 deletions.
4 changes: 4 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -189,3 +189,7 @@ TSWLatexianTemp*
## Generated LaTeX files:
*.tex
src/auto/


## Nix
/result*
3 changes: 3 additions & 0 deletions .travis.yml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
language: nix
# FIXME: Why does pandoc fail in nix-build?
script: nix-shell --pure --run make
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# _[Software Foundations][SF] in Idris_

[![Build Status](https://travis-ci.org/idris-hackers/software-foundations.svg?branch=develop)](https://travis-ci.org/idris-hackers/software-foundations)

:book: [Download the PDF][PDF]


Expand Down

0 comments on commit b38a117

Please sign in to comment.