[OPTIMIZATION] Docker: some object and binaries ignored to be copied … - #419

Merged

sir-gon merged 3 commits into

mainfrom

Sep 10, 2026

Commits on Sep 10, 2026

[OPTIMIZATION] Docker: some object and binaries ignored to be copied to Docker image build
Gonzalo Diaz
committed
faec898
[CONFIG] Makefile: introducing format and format/sources actions.
Gonzalo Diaz
committed
74e9c27
[CONFIG] [Github Actions] Dotnet TEST: coverage collect disabled for tests.
Gonzalo Diaz
committed
c247924