Closed kjcjohnson closed 2 years ago
@anvayg reported in https://github.com/SemGuS-git/Semgus-Benchmarks/pull/3 that the new binaries needed to have the executable bit set. Maybe we need to chmod a+x after publishing? Not sure.
chmod a+x
@anvayg reported in https://github.com/SemGuS-git/Semgus-Benchmarks/pull/3 that the new binaries needed to have the executable bit set. Maybe we need to
chmod a+x
after publishing? Not sure.