Catch2 hotfix #177

Merged

meierj merged 3 commits from mueller/suppress-catch2-warning into develop

2022-03-09 10:47:59 +01:00

Author	SHA1	Message	Date
Robin Mueller	bfc8d8a7c4	fixes some issues All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details EIVE/eive-obsw/pipeline/head This commit looks good Details	2022-03-09 10:14:59 +01:00
Robin Mueller	8cf3220cd0	added status message All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2022-03-09 09:36:52 +01:00
Robin Mueller	39b4393b13	suppress Catch2 warning Some checks are pending EIVE/eive-obsw/pipeline/head Build queued... Details EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2022-03-09 09:27:16 +01:00