objectionary/eo
1
1
Fork 0
mirror of https://github.com/objectionary/eo.git synced 2024-09-11 12:45:42 +03:00
Code Issues Projects Releases Wiki Activity

#3070 paper moved

Browse Source
This commit is contained in:
Yegor Bugayenko 2024-04-10 10:04:01 +03:00
parent 073a1f8d1f
commit f7b279261a
No known key found for this signature in database
GPG Key ID: B8283801026E65F3
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.rultor.yml
View File

@ -16,14 +16,9 @@ install: |
gem install pdd
gem install texsc:0.6.0
gem install texqc:0.6.0
sudo tlmgr option repository ctan
sudo tlmgr --verify-repo=none update --self
sudo tlmgr --verify-repo=none install $(cut -d' ' -f2 paper/DEPENDS.txt | uniq)
sudo tlmgr --verify-repo=none --no-auto-remove update $(cut -d' ' -f2 paper/DEPENDS.txt | uniq) || echo 'NO UPDATE'
merge:
script: |
mvn clean install -Pqulice --errors -Dstyle.color=never
cd paper; latexmk -pdf
release:
pre: false
script: |-