Closed shahrzad closed 2 years ago
We have not had a successful CircleCI build for HPX in a long time (for unrelated reasons), thus the base image used here is fairly old and misses the new headers. I'm merging this anyways as the changes are correct.
This PR contains the following changes: