mirror of
https://github.com/sdiehl/wiwinwlh.git
synced 2024-08-16 15:30:35 +03:00
Just make html
This commit is contained in:
parent
285901d813
commit
fb346b1019
@ -14,7 +14,7 @@ script:
|
||||
- sudo apt-get install texlive texlive-xetex
|
||||
- stack $ARGS --no-terminal --install-ghc build
|
||||
- stack $ARGS --no-terminal --install-ghc ghc includes.hs -- -o includes
|
||||
- stack $ARGS --no-terminal --install-ghc exec make
|
||||
- stack $ARGS --no-terminal --install-ghc exec make html
|
||||
# Run the example test suite
|
||||
- cd src && bash ./ci
|
||||
cache:
|
||||
|
Loading…
Reference in New Issue
Block a user