Merge pull request #46 from coq-community/v8.10+ci

use proper ci for 8.10

Author: palmskog

.travis.yml

@@ -40,8 +40,13 @@ matrix:
 
   # Test supported versions of Coq via Nix
   - env:
-    - COQ=https://github.com/coq/coq-on-cachix/tarball/v8.10
+    - COQ=8.10
     <<: *NIX
 
   # Test supported versions of Coq via OPAM
+  - env:
+    - COQ_IMAGE=coqorg/coq:8.10
+    - CONTRIB_NAME=coq-aac-tactics
+    - NJOBS=2
+    <<: *OPAM
 

meta.yml

@@ -48,10 +48,10 @@ supported_coq_versions:
   opam: '{>= "8.10" & < "8.11~"}'
 
 tested_coq_nix_versions:
-- version_or_url: https://github.com/coq/coq-on-cachix/tarball/v8.10
+- version_or_url: '8.10'
 
 tested_coq_opam_versions:
-#- version: dev
+- version: '8.10'
 
 namespace: AAC_tactics