Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[ci] use Node.js 10 for compatibility with Gulp v3
It seems Node.js 12 (which is now 'latest') does not work with Gulp v3. In the future, we will either have to migrate to Gulp v4, or remove Gulp from the build system. See gulpjs/gulp#2324
- Loading branch information