Skip to content

Releases: fpvandoorn/carleson

v4.30.0-rc2

30 Apr 16:20
@github-actions github-actions
v4.30.0-rc2
7a0ea9d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.30.0-rc2 Latest
Latest

Automated release for Lean version v4.30.0-rc2

Assets 2
Loading

v4.29.1

26 Apr 10:33
@github-actions github-actions
v4.29.1
17be9be

Choose a tag to compare

View all tags
v4.29.1

Automated release for Lean version v4.29.1

Loading

v4.29.0

26 Apr 10:17
@github-actions github-actions
v4.29.0
306ae5b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.29.0

Automated release for Lean version v4.29.0

Loading

v4.28.0

18 Feb 22:04
@github-actions github-actions
v4.28.0
fa053d3
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.28.0

Automated release for Lean version v4.28.0

Loading

v4.28.0-rc1

27 Jan 16:29
@github-actions github-actions
v4.28.0-rc1
70dfd02

Choose a tag to compare

View all tags
v4.28.0-rc1

Automated release for Lean version v4.28.0-rc1

Loading

v4.27.0

24 Jan 19:12
@github-actions github-actions
v4.27.0
0ddd15b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.27.0

Automated release for Lean version v4.27.0

Loading

v4.27.0-rc1

17 Dec 22:37
@github-actions github-actions
v4.27.0-rc1
8ac3da8
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.27.0-rc1

Automated release for Lean version v4.27.0-rc1

Loading

v4.26.0

15 Dec 00:39
@github-actions github-actions
v4.26.0
068f68e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.26.0

Automated release for Lean version v4.26.0

Loading

v4.25.0

17 Nov 13:29
@github-actions github-actions
v4.25.0
e521e4a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.25.0

Automated release for Lean version v4.25.0

Loading

v4.25.0-rc2

30 Oct 17:17
@github-actions github-actions
v4.25.0-rc2
e307a2c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.25.0-rc2

Automated release for Lean version v4.25.0-rc2

Loading