Commit Graph

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