Skip to content
Verification of Reusable Verification Library in C

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

Sign in to view logs

WIP: modifies Dockerfile to create a multi-architecture image

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

Triggered via push December 8, 2023 09:29
@ArquintLArquintL
pushed dc1d679
arm-docker-image
Status Success
Total duration 25s
Artifacts –

verifast-library.yml

on: push
build-verify
16s
build-verify
Fit to window
Zoom out
Zoom in