Skip to content

Releases: verus-lang/verus

Rolling Release 0.2025.07.17.c3a5054

17 Jul 21:34
@github-actions github-actions
release/rolling/0.2025.07.17.c3a5054
c3a5054
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Rolling Release 0.2025.07.17.c3a5054 Pre-release
Pre-release

Rolling release from Continuous Integration

Loading

Release 0.2025.07.12.0b6f3cb

14 Jul 01:25
@github-actions github-actions
release/0.2025.07.12.0b6f3cb
0b6f3cb
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 0.2025.07.12.0b6f3cb Latest
Latest

release/rolling/0.2025.07.12.0b6f3cb

Assets 7
Loading

Release 0.2025.07.05.8bd7c32

07 Jul 01:23
@github-actions github-actions
release/0.2025.07.05.8bd7c32
8bd7c32
Compare
Choose a tag to compare
Release 0.2025.07.05.8bd7c32

release/rolling/0.2025.07.05.8bd7c32

Loading

Release 0.2025.06.30.0c71b39

30 Jun 23:20
@github-actions github-actions
release/0.2025.06.30.0c71b39
0c71b39
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 0.2025.06.30.0c71b39

release/rolling/0.2025.06.30.0c71b39

Loading

Release 0.2025.06.29.cc0012d

30 Jun 01:23
@github-actions github-actions
release/0.2025.06.29.cc0012d
cc0012d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 0.2025.06.29.cc0012d

release/rolling/0.2025.06.29.cc0012d

Loading

Release 0.2025.06.23.2e59154

23 Jun 20:23
@github-actions github-actions
release/0.2025.06.23.2e59154
2e59154
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 0.2025.06.23.2e59154

release/rolling/0.2025.06.23.2e59154

Loading

Release 0.2025.06.22.585827c

23 Jun 01:23
@github-actions github-actions
release/0.2025.06.22.585827c
585827c
Compare
Choose a tag to compare
Release 0.2025.06.22.585827c

release/rolling/0.2025.06.22.585827c

Loading

Release 0.2025.06.14.9b557d7

16 Jun 01:21
@github-actions github-actions
release/0.2025.06.14.9b557d7
9b557d7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Release 0.2025.06.14.9b557d7

release/rolling/0.2025.06.14.9b557d7

Loading

Release 0.2025.06.05.d617bea

09 Jun 01:22
@github-actions github-actions
release/0.2025.06.05.d617bea
d617bea
Compare
Choose a tag to compare
Release 0.2025.06.05.d617bea

release/rolling/0.2025.06.05.d617bea

Loading

Release 0.2025.05.30.c3014c7

02 Jun 01:20
@github-actions github-actions
release/0.2025.05.30.c3014c7
c3014c7
Compare
Choose a tag to compare
Release 0.2025.05.30.c3014c7

release/rolling/0.2025.05.30.c3014c7

Loading