dont waste time updating
This commit is contained in:
parent
7b44ec5718
commit
be58629611
1 changed files with 1 additions and 1 deletions
|
@ -7,7 +7,7 @@ machine:
|
||||||
|
|
||||||
dependencies:
|
dependencies:
|
||||||
pre:
|
pre:
|
||||||
- sudo apt update && sudo apt install pandoc pandoc-citeproc
|
- sudo apt install pandoc pandoc-citeproc
|
||||||
- bash scripts/before_script.sh
|
- bash scripts/before_script.sh
|
||||||
|
|
||||||
post:
|
post:
|
||||||
|
|
Reference in a new issue