Skip to content

Commit

Permalink
Merge pull request #417 from stanford-oval/wip/travis-node-upgrade
Browse files Browse the repository at this point in the history
Use node 14 and 16, remove node 12 for travis
  • Loading branch information
Silei Xu committed Mar 30, 2022
2 parents 2d42947 + 50ec0c4 commit 2a5ec7e
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 2a5ec7e

Please sign in to comment.