Skip to content

Releases: Vtec234/ProofWidgets4

Release list

v0.0.26

v0.0.26 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Oct 02:47
v0.0.26
This tag was signed with the committer’s verified signature.
Vtec234 Wojciech Nawrocki
GPG key ID: 8DCB2EFB54B2F80A
Verified
Learn about vigilant mode.
9e14698
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
v0.0.26
Assets 5
Loading

v0.0.24

v0.0.24 Pre-release
Pre-release

Choose a tag to compare

View all tags
@Vtec234 Vtec234 released this 24 Oct 02:40
v0.0.24
cc741a3
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
ci: save file
Loading

v0.0.23

v0.0.23 Pre-release
Pre-release

Choose a tag to compare

View all tags
@Vtec234 Vtec234 released this 24 Oct 02:37
v0.0.23
1ffef2b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
ci: typo
Loading

v0.0.22

v0.0.22 Pre-release
Pre-release

Choose a tag to compare

View all tags
@Vtec234 Vtec234 released this 24 Oct 02:19
v0.0.22
ec30c6a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
ci: fix release upload
Loading

v0.0.21: Merge pull request #28 from leanprover-community/bump_std

v0.0.21: Merge pull request #28 from leanprover-community/bump_std Pre-release
Pre-release

Choose a tag to compare

View all tags
@Vtec234 Vtec234 released this 24 Oct 02:18
v0.0.21
327a4e8
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
chore: bump Std; json% has been upstreamed
Loading

v0.0.20

v0.0.20 Pre-release
Pre-release

Choose a tag to compare

View all tags
@Vtec234 Vtec234 released this 24 Oct 01:49
v0.0.20
3874f14
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
ci: build releases
Loading