Use debian10 image for builder, not ubuntu1804 (#1345)

The debian10 image is generally a bit more recent and, in particular, includes
python 3.7.3, which we're currently using as a baseline for our builds.
This commit is contained in:
Michael Muller 2021-09-28 14:49:13 -04:00 committed by GitHub
parent 89df3ce9fc
commit 469ce5589b
2 changed files with 3 additions and 1 deletions

View file

@ -27,6 +27,8 @@ apt-get install python -y
# (introduced in 3.7) for nom_build
apt-get install python3-pip -y
python3 -m pip install dataclasses
# Install curl.
apt-get install curl -y
# Install Node
curl -sL https://deb.nodesource.com/setup_current.x | bash -
apt-get install -y nodejs