Allow for open PRs when checking missing installations in build script#493

ocaisa wants to merge 1 commit intoEESSI:2023.06-software.eessi.ioEESSI/software-layer:2023.06-software.eessi.iofrom

ocaisa:tweak_missing_installsocaisa/software-layer:tweak_missing_installsCopy head branch name to clipboard