4c3fdfc808 ^
1
Fix an error which prevented the Github Actions workflow to build the docker images from running.