Peter Vlasveld pushed to project branch master at Peter Vlasveld / logic2020

Peter Vlasveld
2024-01-07T22:27:50Z

Peter Vlasveld (bef4e8cb) at 07 Jan 22:27

adding curl for codecov upload