tree de82b2655ef22367dbeb7bf5dd77adfe46d5dfb8
parent 7f310c120780a9a233aa96826986e4e26c977e9f
author Marc Kupietz <kupietz@ids-mannheim.de> 1763898331 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1764144480 +0100

Fix docker slimming in GitLab CI

https://github.com/slimtoolkit/slim is, because of a name collision,
now: https://github.com/mintoolkit/mint

Also mintoolkit/mint does not support 25+ (API 1.44) (current is Docker
is 29, API 1.52) out-of-the box, but we can pretend to support API 1.46
by using a parameter --crt-api-version 1.46

See: https://github.com/mintoolkit/mint/discussions/45#discussioncomment-10260428
Change-Id: If237e5c6912fe957cbd9a867558a3d6de4b8b5e7