first version of bot/check-result.sh script#241
Merged
ocaisa merged 22 commits intoEESSI:2023.06from Jun 22, 2023
Merged
Commits
Commits on Apr 18, 2023
Commits on Apr 19, 2023
Commits on Apr 20, 2023
Commits on Jun 5, 2023
Commits on Jun 18, 2023
Commits on Jun 20, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed