Skip to content

Verus build

Verus build #13

Workflow file for this run

name: Verus build
on:
workflow_dispatch:
env:
IMAGE_NAME: ${{ github.repository }}
jobs:
build:
runs-on: ubuntu-20.04
permissions:
contents: read
packages: write
steps:
- name: Checkout repository
uses: actions/checkout@v3
- name: Log into registry ghcr.io
run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u "${{ github.actor }}" --password-stdin
- name: Build Verus image
run: |
cd docker/verus
docker build -t ghcr.io/${{ env.IMAGE_NAME }}/verus:latest --build-arg VERUS_VER=0d7b766446cd33521132cff03b6108705e83884f .
docker tag ghcr.io/${{ env.IMAGE_NAME }}/verus:latest ghcr.io/${{ env.IMAGE_NAME }}/verus:0d7b766446cd33521132cff03b6108705e83884f
- name: Push Verus image
run: |
docker push ghcr.io/${{ env.IMAGE_NAME }}/verus:latest
docker push ghcr.io/${{ env.IMAGE_NAME }}/verus:0d7b766446cd33521132cff03b6108705e83884f