prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard
verified publisher icon viperproject

Release binaries don't have the executable bit set

Open EmmanuelMess opened this issue 6 months ago • 0 comments

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

EmmanuelMess avatar Jul 16 '25 16:07 EmmanuelMess