New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

run tests on ubuntu 20.04 ci runner #456

Merged

milianw merged 1 commit into master from fix-ci

Jan 4, 2023

Contributor

lievenhey commented Jan 4, 2023

fixes: #455


          run tests on ubuntu 20.04 ci runner

b9aec3c

Contributor Author

lievenhey commented Jan 4, 2023

ubuntu 20.04 uses ctest 3.16.3 which does not support --test-dir

lievenhey requested a review from milianw

January 4, 2023 15:38

milianw merged commit 09a11b1 into master

milianw deleted the fix-ci branch

January 4, 2023 16:08

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet