Skip to content
why3-image

add minimal initial impl #34

Sign in to view logs

add minimal initial impl

add minimal initial impl #34

Triggered via push July 24, 2026 06:21
@myfreessmyfreess
pushed 9e182af
main
Status Success
Total duration 1m 44s
Artifacts 2

why3-image.yml

on: push
build and push
1m 39s
build and push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
moonbit-community~why3.mbt~YL7EOL.dockerbuild
78.5 KB
sha256:ea1a4074803fe0b430df3c467387e7cc54b8712612bf38708a8e6456d3bf73a3
reference-environment-9e182afd24915d0e90decb01d404a66984acab64
1.28 KB
sha256:0066ed0510dda8a74231d93eee6e8a7caba881183fae984c38cea8d061acab85