Changes/TEST PR for bot/build.sh - add CaDiCaL 1.3.0 GCC 9.3.0 (NESSI)#226
Closed
trz42 wants to merge 80 commits into
Closed
Changes/TEST PR for bot/build.sh - add CaDiCaL 1.3.0 GCC 9.3.0 (NESSI)#226trz42 wants to merge 80 commits into
trz42 wants to merge 80 commits into