Skip to content
Verification of Reusable Verification Library for Gobra

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 3m 58s
Artifacts –

library.yml

on: push
verify
3m 49s
verify
Fit to window
Zoom out
Zoom in