GH-259: Use Ubuntu `18.04` for the build job.#277

kittaakos merged 1 commit intomainarduino/arduino-ide:mainfrom

arduino/arduino-ide#259arduino/arduino-ide:arduino/arduino-ide#259Copy head branch name to clipboard