Skip to content
Docker Publish

Merge pull request #3211 from mthom/setof_correction_and_opt #709

Sign in to view logs

Merge pull request #3211 from mthom/setof_correction_and_opt

Merge pull request #3211 from mthom/setof_correction_and_opt #709

Triggered via push January 15, 2026 05:07
@mthommthom
pushed 453a88f
master
Status Success
Total duration 6m 9s
Artifacts 1

docker-publish.yml

on: push
build
6m 4s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mthom~scryer-prolog~Y8ADT5.dockerbuild
66 KB
sha256:fc477e27cd16f717b4c785d93aab96eba838a6ab76b3e514616ac68d5c011475