Skip to content

build: Use pre-built docker container for tools

Guido Güntherrequested to merge
tools-image into main

This avoids pulling external images and also speeds up ci as we no longer need to install the tools.

Signed-off-by: Guido Günther agx@sigxcpu.org

Merge request reports