Skip to content

Releases: sjtug/mirror-clone

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

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

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

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

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

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

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

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

Release v0.2.29

08 Dec 05:18
@github-actions github-actions
v0.2.29
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
67aad89
Compare
Choose a tag to compare
Release v0.2.29 Pre-release
Pre-release

feat(ghcup): support for new experimental mirror config

See: haskell/ghcup-hs#700

Assets 3

Release v0.2.28

05 Nov 20:02
@github-actions github-actions
v0.2.28
This tag was signed with the committer’s verified signature.
PhotonQuantum LightQuantum
GPG key ID: 488E05BFDD880F00
Learn about vigilant mode.
35fca1f
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.28 Pre-release
Pre-release

fix(github-release): release item name can be null (#112)

Assets 3