Merge pull request #1380 from PeterDaveHello/Update-Dockerfile

Update Docker build-only image to Ubuntu 18.04
This commit is contained in:
Vidar Holen 2018-11-08 08:34:21 +08:00 committed by GitHub
commit de95c376ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1,5 +1,5 @@
# Build-only image
FROM ubuntu:17.10 AS build
FROM ubuntu:18.04 AS build
USER root
WORKDIR /opt/shellCheck