Skip to content

Releases: b-mehta/ABC-Exceptions

v4.21.0-rc3

10 Jun 11:11
@github-actions github-actions
v4.21.0-rc3
15c73ab
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.21.0-rc3 Latest
Latest

Automated release for Lean version v4.21.0-rc3

Assets 2
Loading

v4.21.0-rc1

03 Jun 20:00
@github-actions github-actions
v4.21.0-rc1
046130a
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.21.0-rc1

Automated release for Lean version v4.21.0-rc1

Loading

v4.20.0

03 Jun 19:05
@github-actions github-actions
v4.20.0
a7d847a
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.20.0

Automated release for Lean version v4.20.0

Loading

v4.20.0-rc5

20 May 22:26
@github-actions github-actions
v4.20.0-rc5
dc5a7f5
This commit was signed with the committer’s verified signature.
b-mehta Bhavik Mehta
GPG key ID: 7A50E9262C3609D8
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.20.0-rc5

Automated release for Lean version v4.20.0-rc5

Loading

v4.16.0-rc2

14 Jan 17:26
@github-actions github-actions
v4.16.0-rc2
5684027

Choose a tag to compare

View all tags
v4.16.0-rc2

Automated release for Lean version v4.16.0-rc2

Loading

v4.15.0-rc1

11 Dec 00:23
@github-actions github-actions
v4.15.0-rc1
9af9bf0

Choose a tag to compare

View all tags
v4.15.0-rc1

Automated release for Lean version v4.15.0-rc1

Loading