Use submodule hashes rather than tags specified in workflow file

GaloisInc / what4-solvers

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

5 stars 1 forks source link

Use submodule hashes rather than tags specified in workflow file #3

Closed atomb closed 3 years ago

atomb commented 3 years ago

The versions (Git tags) of the solvers are currently specified in the workflow file rather than simply using the versions that the submodules are registered with. This is a holdover from when the builds scripts fetched zip files for the solver source code, and should be fixed.