fix: Apply Travis CI suggestions (Build config validation)

coq-community · Jun 19, 2020 · 9994026 · 9994026
1 parent 657e8d0
commit 9994026
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,6 +1,8 @@
-opam: &OPAM
-  language: minimal
-  sudo: required
+os: linux
+dist: bionic
+language: shell
+
+.opam: &OPAM
   services: docker
   install: |
     # Prepare the COQ container
@@ -38,12 +40,12 @@ opam: &OPAM
   - docker stop COQ  # optional
   - echo -en 'travis_fold:end:script\\r'
 
-nix: &NIX
+.nix: &NIX
   language: nix
   script:
   - nix-build --argstr coq-url "$COQ" --extra-substituters https://coq.cachix.org --trusted-public-keys "cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= coq.cachix.org-1:5QW/wwEnD+l2jvN6QRbRRsa4hBHG3QiQQ26cxu1F5tI="
 
-matrix:
+jobs:
   include:
 
   # Test supported versions of Coq via Nix