Docker Publish

Merge pull request #2818 from adri326/stream-cleanup #623

Triggered via push February 13, 2025 07:23

mthom

master

Status Success

Total duration 5m 59s

Artifacts 1

docker-publish.yml

on: push

Produced during runtime

Name	Size
mthom~scryer-prolog~Z89IKE.dockerbuild	60.7 KB