Docker Publish

Merge pull request #2798 from bakaq/clippy_warnings #621

Triggered via push January 29, 2025 06:24

mthom

master

Status Success

Total duration 5m 33s

Artifacts 1

docker-publish.yml

on: push

Produced during runtime

Name	Size
mthom~scryer-prolog~IN7YNW.dockerbuild	62 KB