diff --git a/.travis.yml b/.travis.yml index 065f2493..8b9fdd7a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,7 +3,7 @@ branches: - "/^wip/" language: node_js node_js: -- '12' +- '14' - '16' before_install: - mkdir cvc4/