Li-yao Xia pushed to project branch ci at Li-yao Xia / rocq-planet

Li-yao Xia
2024-12-26T20:05:03Z

Li-yao Xia (0497e170) at 26 Dec 20:05

ci: Dump log on failure