Skip to content

Releases: cedihegi/prusti-dev

Nightly Release v-2023-03-13-1556

13 Mar 15:56
@github-actions github-actions
v-2023-03-13-1556
04a824b

Choose a tag to compare

View all tags
Nightly Release v-2023-03-13-1556 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading

Nightly Release v-2023-03-09-2058

09 Mar 20:58
@github-actions github-actions
v-2023-03-09-2058
a299c14

Choose a tag to compare

View all tags
Nightly Release v-2023-03-09-2058 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading

Nightly Release v-2023-03-08-1920

08 Mar 19:21
@github-actions github-actions
v-2023-03-08-1920
65c99d9

Choose a tag to compare

View all tags
Nightly Release v-2023-03-08-1920 Pre-release
Pre-release 
<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->
Loading