Closed HDembinski closed 5 months ago
PR #370 will be closed. When I have time to look into the switch to Boost.CI again, I will pick this up again. This PR keeps the other useful changes which were made in that PR, which are not related to the CI.
PR #370 will be closed. When I have time to look into the switch to Boost.CI again, I will pick this up again. This PR keeps the other useful changes which were made in that PR, which are not related to the CI.