search

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Mark executables as executable #54

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

Fixes #53.

kjcjohnson commented 2 years ago

Hmm, GitHub still doesn't seem to be saving it as executable. Probably can do that when we zip ourselves for the release job, maybe.

kjcjohnson commented 2 years ago

Looks like uploaded artifacts don't preserve the executable bit. See https://github.com/marketplace/actions/upload-a-build-artifact#Limitations.

We can set this for the actual release assets, though, since we zip those ourselves.