Skip to content
Snippets Groups Projects

docker: move sigterm handling up to the entrypoint

Passed
pini created pipeline for commit ace29123
, finished
Related merge request !1437 to merge pini-docker
latest merge request
7 jobs 23 minutes 38 seconds, queued for 3 seconds