badges / shields / 14077560618 / 1

98%

master: 98%

push

github

docker: cleanup some building (#10957)

* docker: cleanup some building

Somehow `npm prune --omit=dev` does not properly remove unneeded dependencies, this is workarounded by deleting the `node_modules` folder and the running install again.

It also removes some unneeded large files in the docker container.

* docker building: improve caching, don't download node_modules twice

5988 of 6250 branches covered (95.81%)

50687 of 54415 relevant lines covered (93.15%)

116.58 hits per line