Status Name Job Pipeline Stage Duration Coverage
failed build-coq.8.12.2 #159875
dfrac_notations
d98658f7
fp
#57869 by Adam's avatar build

00:17:11

passed build-coq.8.14.0 #159874
dfrac_notations
d98658f7
fp
#57869 by Adam's avatar build

00:18:16