8000 Tags · Coq-zh/SF-zh · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: Coq-zh/SF-zh

Tags

v5.7-alpha.1

Toggle v5.7-alpha.1's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
liyishuai Yishuai Li
GPG key ID: AA8E973867129090
Expired
Verified
Learn about vigilant mode 
ci: more versions supported

v5.7-alpha

Toggle v5.7-alpha's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
liyishuai Yishuai Li
GPG key ID: 6788D22279144CD0
Expired
Verified
Learn about vigilant mode 
Update .travis.yml

more patience in caching

v5.5-alpha

Toggle v5.5-alpha's commit message

Verified

This commit was signed with the committer’s verified signature.
liyishuai Yishuai Li
GPG key ID: AC0299940DF0B203
Verified
Learn about vigilant mode 
CI: use template
0