[ci] Reduce limit for the formal CI#2438

marnovandermaas merged 1 commit into

lowRISC:masterlowRISC/ibex:masterfrom

SamuelRiedel:ci-formalSamuelRiedel/ibex:ci-formalCopy head branch name to clipboard