Skip to content

Releases: sjtug/mirror-clone

Release v0.2.39

09 Jul 18:48
@github-actions github-actions
v0.2.39
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
73f5b30
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v0.2.39 Pre-release
Pre-release

fix(ghcup): sig (#130)

Assets 3
Loading

Release v0.2.38

03 Jul 17:20
@github-actions github-actions
v0.2.38
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
0c7437a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v0.2.38 Pre-release
Pre-release

elan: add proofwidgets (#127)

Assets 3
Loading

Release v0.2.37

20 Oct 07:14
@github-actions github-actions
v0.2.37
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
96c5460
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v0.2.37 Pre-release
Pre-release

elan: add glean (#126)

  • elan: add `glean`

  • elan: nightly

Assets 3
Loading

Release v0.2.36

13 Oct 23:17
@github-actions github-actions
v0.2.36
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
dfbab00
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v0.2.36 Pre-release
Pre-release

elan: put lean release in leanprover/lean4 (#125)

Assets 3
Loading

Release v0.2.35

01 Oct 20:30
@github-actions github-actions
v0.2.35
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
6448e93
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v0.2.35 Pre-release
Pre-release

lean: init elan (#124)

Assets 3
Loading

Release v0.2.34

04 Jul 17:55
@github-actions github-actions
v0.2.34
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
b3577b1
Compare
Choose a tag to compare
Release v0.2.34 Pre-release
Pre-release

fix: no proxy on gcp apis

Assets 3
Loading

Release v0.2.33

04 Jul 14:46
@github-actions github-actions
v0.2.33
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
77371d6
Compare
Choose a tag to compare
Release v0.2.33 Pre-release
Pre-release

fix: snapshot compatible with windows and linux

Assets 3
Loading

Release v0.2.32

13 Dec 12:16
@github-actions github-actions
v0.2.32
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
f31e98a
Compare
Choose a tag to compare
Release v0.2.32 Pre-release
Pre-release

ci: use musl

Assets 3
Loading

Release v0.2.31

13 Dec 08:44
@github-actions github-actions
v0.2.31
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
6ff771f
Compare
Choose a tag to compare
Release v0.2.31 Pre-release
Pre-release

fix: downgrade ci build image

Assets 3
Loading

Release v0.2.30

12 Dec 17:13
@github-actions github-actions
v0.2.30
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
6340066
Compare
Choose a tag to compare
Release v0.2.30 Pre-release
Pre-release

fix: use rustls to avoid openssl version problems

Assets 3
Loading