ci(coq): report all thirteen files instead of stopping at the first error - #3342
Open
gHashTag wants to merge 1 commit into
Open
ci(coq): report all thirteen files instead of stopping at the first error#3342gHashTag wants to merge 1 commit into
gHashTag wants to merge 1 commit into
