Skip to content

Modernise some of the syntax in examples/zipper #223

Modernise some of the syntax in examples/zipper

Modernise some of the syntax in examples/zipper #223

Workflow file for this run

name: docker-ci
on:
push:
branches:
- "master"
- "develop"
env:
USERNAME: ${{ secrets.DOCKER_HUB_USERNAME }}
PASSWORD: ${{ secrets.DOCKER_HUB_ACCESS_TOKEN }}
jobs:
build-stdknl:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Docker meta
id: meta
uses: docker/metadata-action@v4
with:
images: ${{ env.USERNAME }}/hol-dev
tags: |
type=sha,prefix=ci-,suffix=-stdknl
- name: Login to Docker Hub
uses: docker/login-action@v2
with:
username: ${{ env.USERNAME }}
password: ${{ env.PASSWORD }}
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v2
- name: Build and push
uses: docker/build-push-action@v3
with:
context: .
file: developers/docker-ci/Dockerfile
push: true
build-args: |
SML=poly
# NOTE: the arg value cannot be quoted here:
BUILDOPTS=--stdknl -j2 -t
tags: ${{ steps.meta.outputs.tags }}
labels: ${{ steps.meta.outputs.labels }}
build-expk:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Docker meta
id: meta
uses: docker/metadata-action@v4
with:
images: ${{ env.USERNAME }}/hol-dev
tags: |
type=sha,prefix=ci-,suffix=-expk
- name: Login to Docker Hub
uses: docker/login-action@v2
with:
username: ${{ env.USERNAME }}
password: ${{ env.PASSWORD }}
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v2
- name: Build and push
uses: docker/build-push-action@v3
with:
context: .
file: developers/docker-ci/Dockerfile
push: true
build-args: |
SML=poly
# NOTE: the arg value cannot be quoted here:
BUILDOPTS=--expk -j2 -t
tags: ${{ steps.meta.outputs.tags }}
labels: ${{ steps.meta.outputs.labels }}