Skip to content

Verus build

Verus build #2

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