José Cerezo 8268552ac7 Optimized Docker image (#1155) ...

* Optimized Docker image

* Divided Dockerfile into two images

* Fixed dockerfile path

* Updated workflows

* Added remaining packages in Dockerfile-base

* Updated workflows

2025-11-09 15:58:55 -08:00

413 B

Raw Blame History

View Raw