Skip to content
Snippets Groups Projects

community/catch2: upgrade to 2.13.0

Failed
Leo created pipeline for commit 9cb7d3b6
, finished
Related merge request !10323 to merge community_catch2-2.13.0
merge request
7 jobs 2 minutes 21 seconds, queued for 0 seconds