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

Li-yao Xia
2025-05-03T15:59:00Z

Li-yao Xia (766466c2) at 03 May 15:59

setup: Fix timeout in systemd script