Skip to content

Commit

Permalink
Use node 14 and 16, remove node 12 for travis
Browse files Browse the repository at this point in the history
  • Loading branch information
sileix committed Mar 29, 2022
1 parent f820f52 commit 50ec0c4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ branches:
- "/^wip/"
language: node_js
node_js:
- '12'
- '14'
- '16'
before_install:
- mkdir cvc4/
Expand Down

0 comments on commit 50ec0c4

Please sign in to comment.