Merge remote-tracking branch 'origin/master' into features/terms-to-add-in-python
Description
Description
Details
Details
- Committed
Nicolas Richart <networms@gmail.ch> Oct 21 2021, 08:24 - Pushed
gitlab-richart Oct 21 2021, 08:28 - Parents
- rAKA4495c438977d: Merge branch 'bugfixes/coverage-not-run-properly-anymore' into 'master'
rAKA1cf5685c9724: Adding TermsToAdd and SolverCallbacks to python interface - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 4495c438977d | richart | Merge branch 'bugfixes/coverage-not-run-properly-anymore' into 'master' | Oct 21 2021 | |||
| 3cf041b128f7 | richart | Correction of the coverage reporting | Oct 21 2021 |