CI/CD should run in the CI4FPGA infra and the docker images should be self-contained for compilation