From 0551df20113b5b48b0bc4abb0416c7511baf3aa5 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Sat, 20 Jun 2020 12:14:57 +0200
Subject: [PATCH] chore: Add missing test with coqorg/coq:8.12

---
 .travis.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 759dfc5..e59de62 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -61,3 +61,8 @@ jobs:
     - NJOBS=2
     <<: *OPAM
 
+  - env:
+    - COQ_IMAGE=coqorg/coq:8.12
+    - CONTRIB_NAME=coq-bignums
+    - NJOBS=2
+    <<: *OPAM