Skip to content

Verus build

Verus build #10

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=8e24346e9a93e25bca6b66505f4007645118df43 .
docker tag ghcr.io/${{ env.IMAGE_NAME }}/verus:latest ghcr.io/${{ env.IMAGE_NAME }}/verus:8e24346e9a93e25bca6b66505f4007645118df43
- name: Push Verus image
run: |
docker push ghcr.io/${{ env.IMAGE_NAME }}/verus:latest
docker push ghcr.io/${{ env.IMAGE_NAME }}/verus:8e24346e9a93e25bca6b66505f4007645118df43