add minimal bot/build.sh
script that leverages scripts from EESSI/software-layer-scripts
#1126
Merged
ocaisa merged 1 commit intoEESSI:mainfrom Jun 11, 2025
Merged
add minimal `bot/build.sh` script that leverages scripts from `EESSI/software-layer-scripts`#1126ocaisa merged 1 commit intoEESSI:mainfrom
ocaisa merged 1 commit intoEESSI:mainfrom