Skip to content

Releases: Pointerbender/prusti-dev

Release list

Nightly Release v-2023-02-01-1619

Nightly Release v-2023-02-01-1619 Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 01 Feb 16:19
v-2023-02-01-1619
4015f56
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. 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading

Nightly Release v-2023-01-31-1519

Nightly Release v-2023-01-31-1519 Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 31 Jan 15:19
v-2023-01-31-1519
17b071c
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. 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading

Nightly Release v-2023-01-04-1522

Nightly Release v-2023-01-04-1522 Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 04 Jan 15:22
v-2023-01-04-1522
a4ac54b
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. 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading