Closed nlohmann closed 1 year ago
Another attempt to fix the CI:
The source code has not been amalgamated. @nlohmann Please read and follow the Contribution Guidelines.
coverage: 100.0%. remained the same when pulling 1e025aaadcefd93df41ace6026efdb3058f4f5b7 on fix-ci into 5fec8034933ef434a98dfbd2551b052c56345869 on develop.
Another attempt to fix the CI: