Skip to content

Tags: Coq-zh/SF-zh

Tags

v5.7-alpha.1

Verified

This commit was signed with the committer’s verified signature. The key has expired.
liyishuai Yishuai Li
ci: more versions supported

v5.7-alpha

Verified

This commit was signed with the committer’s verified signature. The key has expired.
liyishuai Yishuai Li
Update .travis.yml

more patience in caching

v5.5-alpha

Verified

This commit was signed with the committer’s verified signature.
liyishuai Yishuai Li
CI: use template