initial version of bot/check-result.sh script#179
Closed
trz42 wants to merge 25 commits intoEESSI:mainfrom trz42:bot_check_result_script
+801-26
Commits
Commits on Apr 3, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
