Sébastien Rombauts 8f8029cb7e Minor changes to the Github "build" workflow
- improve readability of logs with better name and single line of script per "run:" step
- improve readability of the script itself with less "name: " and additional spaces around varnames
2023-08-18 14:41:12 +02:00
..