bump catch2 version to v3.0.0-preview4 #537
Reference in New Issue
Block a user
No description provided.
Delete Branch "eive:mueller/update-catch2-version"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This should fix CI issues (hopefully).
Also added cleanCI stage for Jenkinsfile
Issues with Catch2, solved in another branch. I'm going to create a new PR where it works which is going to replace this PR
Replaced by #538
Pull request closed