Merge pull request #15851 from anntzer/ciffmpeg

jklymak · web-flow · commit 803fd6966618 · 2019-12-07T07:27:33.000-08:00
ffmpeg is available on default ubuntu packages now.
diff --git a/.travis.yml b/.travis.yml
@@ -21,8 +21,6 @@ addons:
     paths:
     - result_images.tar.bz2
   apt:
-    sources:
-      - sourceline: ppa:jonathonf/ffmpeg-3
     packages:
       - cm-super
       - dvipng
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -49,7 +49,6 @@ steps:
 - bash: |
     case "$(python -c 'import sys; print(sys.platform)')" in
     linux)
-      sudo apt-add-repository ppa:jonathonf/ffmpeg-3
       sudo apt-get update
       sudo apt-get install \
         cm-super \
