2 Commits

Author	SHA1	Message	Date
Davide De Rosa	9962401d74	Fix some issues in scripts ... - Always use bash for consistent script behavior - Replace deprecated set-output in GitHub workflows	2022-10-17 13:39:54 +02:00
Davide De Rosa	20a6ba1dc3	Reorganize scripts into subfolders ... / = Local scripts ci = Remote scripts (run by workflow) util = Utilities	2021-10-05 19:27:02 +02:00