updated minimal node version

coq-community · Dec 23, 2021 · 3f9c201 · 3f9c201
1 parent 4974a0e
commit 3f9c201
Show file tree

Hide file tree

Showing 3 changed files with 727 additions and 1,100 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,6 +1,6 @@
 language: node_js
 node_js:
-  - "12.14.1"
+  - "16.13.1"
 
 script:
   - make