Skip to content

Releases: zgrannan/prusti-dev

Nightly Release v-2026-01-26-0611

26 Jan 06:11
@github-actions github-actions
v-2026-01-26-0611
897796a

Choose a tag to compare

View all tags
Nightly Release v-2026-01-26-0611 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading

Nightly Release v-2025-10-24-1908

24 Oct 19:08
@github-actions github-actions
v-2025-10-24-1908
016b919

Choose a tag to compare

View all tags
Nightly Release v-2025-10-24-1908 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading

Nightly Release v-2025-10-24-1802

24 Oct 18:02
@github-actions github-actions
v-2025-10-24-1802
3e982cb

Choose a tag to compare

View all tags
Nightly Release v-2025-10-24-1802 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading