Release binaries don't have the executable bit set #1535
Description
It looks like https://github.com/viperproject/prusti-dev/releases/tag/v-2023-08-22-1715 binaries don't have the executable bit set.
{{ message }}
It looks like https://github.com/viperproject/prusti-dev/releases/tag/v-2023-08-22-1715 binaries don't have the executable bit set.