Build Docker Images from GitHub Actions (#3206)

This commit is contained in:
Paulo Matos 2020-05-22 14:47:53 +02:00 committed by GitHub
parent 0c55f8dbc9
commit b1fedc5c38
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 56 additions and 0 deletions

View File

@ -0,0 +1,28 @@
name: Build BuildDeps RacketCI Image
on:
push:
paths:
- '.github/workflows/DockerImages/Dockerfile.builddeps'
- '.github/workflows/docker-racketci-builddeps.yml'
jobs:
build-image:
runs-on: ubuntu-18.04
env:
IMAGE_NAME: racket-ci
VERSION: builddeps
steps:
- uses: actions/checkout@v2
- name: Build image
working-directory: ./.github/workflows/DockerImages
run: docker build --tag image --file Dockerfile.builddeps .
- name: Log into registry
run: echo "${{ secrets.DOCKER_TOKEN }}" | docker login -u pmatos --password-stdin
- name: Push image
run: |
IMAGE_ID=racket/$IMAGE_NAME
docker tag image $IMAGE_ID:$VERSION
docker push $IMAGE_ID:$VERSION

View File

@ -0,0 +1,28 @@
name: Build BuildDeps RacketCI Image
on:
push:
paths:
- '.github/workflows/DockerImages/Dockerfile.testdeps'
- '.github/workflows/docker-racketci-testdeps.yml'
jobs:
build-image:
runs-on: ubuntu-18.04
env:
IMAGE_NAME: racket-ci
VERSION: testdeps
steps:
- uses: actions/checkout@v2
- name: Build image
working-directory: ./.github/workflows/DockerImages
run: docker build --tag image --file Dockerfile.testdeps .
- name: Log into registry
run: echo "${{ secrets.DOCKER_TOKEN }}" | docker login -u pmatos --password-stdin
- name: Push image
run: |
IMAGE_ID=racket/$IMAGE_NAME
docker tag image $IMAGE_ID:$VERSION
docker push $IMAGE_ID:$VERSION