This repository has been archived by the owner on Aug 23, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
58 additions
and
59 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -2,77 +2,76 @@ | |
# Do not build auto-tagged versions | ||
if: repo != head_repo AND tag !~ /^[\w\.]+-\d+-\w+/ | ||
|
||
os: linux | ||
dist: focal | ||
language: java | ||
|
||
addons: | ||
apt: | ||
sources: | ||
- sourceline: 'deb [arch=amd64] http://miktex.org/download/ubuntu focal universe' | ||
key_url: "http://keyserver.ubuntu.com/pks/lookup?op=get&search=miktex" | ||
update: true | ||
packages: | ||
# LaTeX decent font processor | ||
- cm-super | ||
# Image processing | ||
- inkscape | ||
# For git latexdiff | ||
- latexdiff | ||
# For Minted | ||
- python-pygments | ||
- python3-pygments | ||
# LaTeX | ||
- miktex | ||
# Debug | ||
- tree | ||
env: | ||
global: | ||
- TERM=dumb | ||
- GRAVIS_REPO="https://github.com/DanySK/Gravis-CI.git" | ||
- GRAVIS="$HOME/gravis" | ||
|
||
jobs: | ||
include: | ||
- language: java | ||
os: linux | ||
dist: focal | ||
addons: | ||
apt: | ||
sources: | ||
- sourceline: 'deb [arch=amd64] http://miktex.org/download/ubuntu focal universe' | ||
key_url: "http://keyserver.ubuntu.com/pks/lookup?op=get&search=miktex" | ||
update: true | ||
packages: | ||
# LaTeX decent font processor | ||
- cm-super | ||
# Image processing | ||
- inkscape | ||
# For git latexdiff | ||
- latexdiff | ||
# For Minted | ||
- python-pygments | ||
- python3-pygments | ||
# LaTeX | ||
- miktex | ||
# Debug | ||
- tree | ||
install: | ||
- travis_retry git clone --depth 1 $GRAVIS_REPO $GRAVIS | ||
- sudo miktexsetup --shared=yes finish | ||
- sudo initexmf --admin --set-config-value [MPM]AutoInstall=1 | ||
- sudo mpm --admin --package-level=basic --find-upgrades --upgrade | ||
- pygmentize -V # debug | ||
- inkscape --version # debug | ||
|
||
script: | ||
- cd slides | ||
- chmod +x gradlew | ||
- ./gradlew buildLatex | ||
|
||
after_success: | ||
- git config --local user.name "Danilo Pianini's Travis CI automation bot" | ||
- git config --local user.email "[email protected]" | ||
install: | ||
- travis_retry git clone --depth 1 $GRAVIS_REPO $GRAVIS | ||
- sudo miktexsetup --shared=yes finish | ||
- sudo initexmf --admin --set-config-value [MPM]AutoInstall=1 | ||
- sudo mpm --admin --package-level=basic --find-upgrades --upgrade | ||
- pygmentize -V # debug | ||
- inkscape --version # debug | ||
|
||
before_deploy: | ||
- $GRAVIS/autotag | ||
script: | ||
- cd slides | ||
- chmod +x gradlew | ||
- ./gradlew buildLatex | ||
|
||
after_script: | ||
- git checkout master | ||
- git add gradlew | ||
- git commit -m "[ci skip] [automatic] Make gradlew executable again" | ||
- git push "[email protected]:${TRAVIS_REPO_SLUG}.git" master | ||
after_success: | ||
- git config --local user.name "Danilo Pianini's Travis CI automation bot" | ||
- git config --local user.email "[email protected]" | ||
|
||
deploy: | ||
- provider: releases | ||
edge: true | ||
file: | ||
- "slides/*.pdf" | ||
- "slides/**/*.pdf" | ||
on: | ||
all_branches: true | ||
# - language: shell | ||
# os: linux | ||
# dist: focal | ||
before_deploy: | ||
- $GRAVIS/autotag | ||
|
||
after_script: | ||
- git checkout master | ||
- git add gradlew | ||
- git commit -m "[ci skip] [automatic] Make gradlew executable again" | ||
- git push "[email protected]:${TRAVIS_REPO_SLUG}.git" master | ||
|
||
deploy: | ||
- provider: releases | ||
edge: true | ||
file: | ||
- "slides/*.pdf" | ||
- "slides/**/*.pdf" | ||
on: | ||
all_branches: true | ||
|
||
notifications: | ||
email: | ||
recipients: | ||
- [email protected] | ||
- [email protected] | ||
- [email protected] | ||
- [email protected] | ||
on_success: never |