Change artifact names - Githubissues

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

5 stars 1 forks source link

Closed atomb closed 3 years ago

atomb commented 3 years ago

Make the artifact ZIP files contain the name of the full runner tag, not just the OS name.
Ensure that the executable names on Windows are the same as on Linux and macOS.
Ensure that binaries are stripped on all platforms.