Skip to content
Verification of the NSL case study 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 27s
Artifacts –

verifast-nsl.yml

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