Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #130109
coq-13969
abba5b45
fp
#48003 by Matthieu Sozeau's avatar build

00:14:33

passed build-coq.dev #130108
coq-13969
abba5b45
fp
#48003 by Matthieu Sozeau's avatar build

00:16:57