Skip to content

WIP: modifies Dockerfile to create a multi-architecture image #15

WIP: modifies Dockerfile to create a multi-architecture image

WIP: modifies Dockerfile to create a multi-architecture image #15

Workflow file for this run

name: Verification of Reusable Verification Library for Gobra
on:
push:
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 10
container:
image: ghcr.io/viperproject/gobra@sha256:0e7419455a3648d006e8a9957380e94c1a8e52d2d4b1ce2425af852dc275fb29 # Gobra commit f21fe70
steps:
- name: Install git
run: apt-get update && apt-get install -y git
- name: Checkout repo
uses: actions/checkout@v3
- name: Verify the entire Reusable Verification Library
run: ./verify.sh
working-directory: ReusableVerificationLibrary