mirror of
https://github.com/verilator/verilator.git
synced 2025-01-04 05:37:48 +00:00
87 lines
2.7 KiB
YAML
87 lines
2.7 KiB
YAML
---
|
|
# Build and push verilator docker image when tags are pushed to the repository.
|
|
# The following variable(s) must be configured in the github repository:
|
|
# DOCKER_HUB_NAMESPACE: docker hub namespace.
|
|
# The following secrets must be configured in the github repository:
|
|
# DOCKER_HUB_USER: user name for logging into docker hub
|
|
# DOCKER_HUB_ACCESS_TOKEN: docker hub access token.
|
|
name: Build Verilator Container
|
|
|
|
on:
|
|
push:
|
|
tags: ['v*']
|
|
workflow_dispatch:
|
|
inputs:
|
|
manual_tag:
|
|
description: 'Git tag to use for image build'
|
|
required: true
|
|
type: string
|
|
add_latest_tag:
|
|
description: 'Tag workflow_dispatch docker image as "latest"'
|
|
required: true
|
|
type: boolean
|
|
default: false
|
|
|
|
jobs:
|
|
|
|
build:
|
|
|
|
runs-on: ubuntu-22.04
|
|
|
|
strategy:
|
|
matrix:
|
|
contexts:
|
|
- "ci/docker/run:verilator"
|
|
# - "ci/docker/buildenv:verilator-buildenv"
|
|
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@v4
|
|
|
|
- name: Extract context variables
|
|
run: |
|
|
echo "${{ matrix.contexts }}" | sed -r 's/(.*):.*/build_context=\1/' >> "$GITHUB_ENV"
|
|
echo "${{ matrix.contexts }}" | sed -r 's/.*:(.*)/image_name=\1/' >> "$GITHUB_ENV"
|
|
echo "git_tag=${GITHUB_REF#refs/*/}" >> "$GITHUB_ENV"
|
|
|
|
- name: Use manual tag
|
|
if: ${{ inputs.manual_tag }}
|
|
run: |
|
|
echo "git_tag=${{ inputs.manual_tag }}" >> "$GITHUB_ENV"
|
|
|
|
- name: Docker meta
|
|
id: docker_meta
|
|
uses: docker/metadata-action@v4
|
|
with:
|
|
images: |
|
|
${{ vars.DOCKER_HUB_NAMESPACE }}/${{ env.image_name }}
|
|
tags: |
|
|
type=match,pattern=(v.*),group=1,enable=${{ startsWith(github.ref, 'refs/tags/v') }}
|
|
type=raw,value=${{ inputs.manual_tag }},enable=${{ inputs.manual_tag != '' }}
|
|
type=raw,value=latest,enable=${{ inputs.add_latest_tag == true }}
|
|
|
|
- name: Set up QEMU
|
|
uses: docker/setup-qemu-action@v2
|
|
|
|
- name: Set up Docker Buildx
|
|
uses: docker/setup-buildx-action@v2
|
|
with:
|
|
buildkitd-flags: --debug
|
|
|
|
- name: Login to Docker Hub
|
|
uses: docker/login-action@v2
|
|
with:
|
|
username: ${{ secrets.DOCKER_HUB_USER }}
|
|
password: ${{ secrets.DOCKER_HUB_ACCESS_TOKEN }}
|
|
|
|
- name: Build and Push to Docker
|
|
uses: docker/build-push-action@v4
|
|
if: startsWith(github.ref, 'refs/tags/v')
|
|
with:
|
|
context: ${{ env.build_context }}
|
|
build-args: SOURCE_COMMIT=${{ env.git_tag }}
|
|
platforms: linux/arm64,linux/amd64
|
|
push: ${{ !env.ACT && startsWith(github.ref, 'refs/tags/v') }}
|
|
tags: ${{ steps.docker_meta.outputs.tags }}
|
|
labels: ${{ steps.docker_meta.outputs.labels }}
|