mirror of https://github.com/docker/docs.git
ci: ensure project can be built for each PR
Signed-off-by: Jérémie Drouet <jeremie.drouet@gmail.com>
This commit is contained in:
parent
820a2242d1
commit
41495fe4d1
|
|
@ -0,0 +1,16 @@
|
|||
name: build docker image when PR is opened
|
||||
|
||||
on: pull_request
|
||||
|
||||
jobs:
|
||||
build-static-page:
|
||||
name: build
|
||||
runs-on: ubuntu-latest
|
||||
env:
|
||||
DOCKER_BUILDKIT: '1'
|
||||
steps:
|
||||
- name: print docker info
|
||||
run: docker version && docker info
|
||||
- uses: actions/checkout@v2
|
||||
- name: build image
|
||||
run: docker build --build-arg=ENABLE_ARCHIVES=false --target=current -t documentation:latest .
|
||||
Loading…
Reference in New Issue