Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #195773
eauto-cost
315fcfab
fp
#68556 by Andrej Dudenhefner's avatar build

00:09:42

passed build-coq.8.14.1 #195772
eauto-cost
315fcfab
fp
#68556 by Andrej Dudenhefner's avatar build

00:12:19