Status Name Job Pipeline Stage Duration Coverage
passed distcheck #10116
simplification-cleanup
953e7559
#6127 by Gaël Bonithon's avatar distcheck

00:00:41

passed build #10115
simplification-cleanup
953e7559
#6127 by Gaël Bonithon's avatar build

00:00:29