Fix rebuild check in bot/build.sh script, and always resume from the correct temporary directory#518

trz42 merged 8 commits intoEESSI:2023.06-software.eessi.ioEESSI/software-layer:2023.06-software.eessi.iofrom

bedroge:fix_bot_build_scriptbedroge/software-layer:fix_bot_build_scriptCopy head branch name to clipboard