SATySFi
SATySFi copied to clipboard
Try building with oldest dependencies
This PR improves the CI with building wit the oldest dependencies as possible. This helps to detect wrong lower version boundaries.
Question: May I update the required Dune version to enable the caching for the oldest-dep check?