4 commits

Author	SHA1	Message	Date
Marco Ferrari	1ca3ebccd6	build: reduce container image size (#5072) ... - Remove build-time dependencies - Remove cached NPM packages - Remove cached PyPi packages - Remove dependency descriptors. These still count against the total space, although it's a few KBs - Install rust-clippy and rust-fmt using the OS package manager instead of maintaining our own installation script - Add tests for build time dependencies that are not supposed to be installed	2023-12-29 19:30:58 +01:00
Marco Ferrari	22b8624f61	Simplify container image build (#4962)	2023-12-15 11:59:36 +01:00
Gustl22	c4c1ebb101	fix: Move commands to correct place (#4579) ... * Allow dispatch workflow * Disable LUA * Move R installation and cleanup * Revert "Disable LUA" This reverts commit d347897d77. * Move cleaning step	2023-08-25 18:25:04 +00:00
Denis N. Antonioli	c7f01711bd	split the installation scripts, inline or clean-up as possible	2023-04-25 23:05:56 -04:00