Testing bot PR263 by building and uploading CaDiCaL#73

trz42 wants to merge 2 commits intotrz42:nessi.no-2023.06trz42/software-layer:nessi.no-2023.06from

poksumdo:test_pr263_cadicalpoksumdo/software-layer:test_pr263_cadicalCopy head branch name to clipboard