Skip to content

Releases: Pointerbender/prusti-dev

Nightly Release v-2023-02-01-1619

01 Feb 16:19
@github-actions github-actions
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
Learn about vigilant mode.
Compare
Choose a tag to compare
Nightly Release v-2023-02-01-1619 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Assets 7
Loading

Nightly Release v-2023-01-31-1519

31 Jan 15:19
@github-actions github-actions
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
Learn about vigilant mode.
Compare
Choose a tag to compare
Nightly Release v-2023-01-31-1519 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Assets 7
Loading

Nightly Release v-2023-01-04-1522

04 Jan 15:22
@github-actions github-actions
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
Learn about vigilant mode.
Compare
Choose a tag to compare
Nightly Release v-2023-01-04-1522 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Assets 7
Loading