Open

Add integration tests and make a distinction between public and private tests in Github CI #52

Author avatar benoit74 wants to merge changes into main from distinct-public-private-tests

No issues found

The most important property of a program is whether it accomplishes the intention of its user.

– C.A.R. Hoare