Skip to content

Commit

Permalink
[#422] Build edoc
Browse files Browse the repository at this point in the history
  • Loading branch information
robertoaloi committed Jan 31, 2020
1 parent f2f480e commit 4591114
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -23,3 +23,4 @@ current_counterexample.eqc
*.coverdata
*.log
*.log.*
doc
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ all:
@ rebar3 escriptize

ci:
rebar3 do compile, ct, proper --cover --constraint_tries 100, dialyzer, xref, cover
rebar3 do compile, ct, proper --cover --constraint_tries 100, dialyzer, xref, cover, edoc

coveralls:
rebar3 coveralls send

0 comments on commit 4591114

Please sign in to comment.