Skip to content
Snippets Groups Projects
Commit 5311dd56 authored by pini's avatar pini
Browse files

Merge branch 'pini-docker-sigterm' into 'dev' 

fix: gracefully exit on sigterm

See merge request !1410
parents 6b33b8ab 677b8163
Branches
Tags
1 merge request!1410fix: gracefully exit on sigterm
Pipeline #19136 passed
Stage: tests
Stage: package
Stage: quality
Stage: integration