Skip to content
why3-image

add minimal initial impl #31

Sign in to view logs

add minimal initial impl

add minimal initial impl #31

Triggered via push July 23, 2026 10:12
@myfreessmyfreess
pushed 9a06367
main
Status Success
Total duration 1m 27s
Artifacts 2

why3-image.yml

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

Artifacts

Produced during runtime
Name Size Digest
moonbit-community~why3.mbt~EK2QQI.dockerbuild
76.6 KB
sha256:726350abc337185b09839a3f46af986d0dc5de176c0b85d0e8f2e6bd392b55df
reference-environment-9a06367eab6ad569035ea1a92799e3e4df81fb18
1.28 KB
sha256:51a703335e8dcc0c68c96f10864eeabe40c70a5dd2524e1424fe58d95bd800ad