add configuration file for production build-and-deploy bot in AWS CitC cluster#240
Merged
trz42 merged 1 commit intoEESSI:mainfrom Mar 17, 2023
Merged
add configuration file for production build-and-deploy bot in AWS CitC cluster#240trz42 merged 1 commit intoEESSI:mainfrom
trz42 merged 1 commit intoEESSI:mainfrom