chore: fix CI script so that it fails if maven-repair's build fails  (#833)
chore: fix CI script so that it fails if maven-repair's build fails  (#833)


Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair