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 |
|