diff --git a/.travis.yml b/.travis.yml
index b45cd812..b7e366af 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -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 "danilo.pianini@unibo.it"
+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 "git@github.com:${TRAVIS_REPO_SLUG}.git" master
+after_success:
+  - git config --local user.name "Danilo Pianini's Travis CI automation bot"
+  - git config --local user.email "danilo.pianini@unibo.it"
 
-      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 "git@github.com:${TRAVIS_REPO_SLUG}.git" master
 
+deploy:
+  - provider: releases
+    edge: true
+    file:
+      - "slides/*.pdf"
+      - "slides/**/*.pdf"
+    on:
+      all_branches: true
 
 notifications:
   email:
+    recipients:
+      - danilo.pianini@unibo.it
+      - roby.casadei@unibo.it
+      - niccolo.maltoni@unibo.it
+      - andrea.placuzzi@unibo.it
     on_success: never