-
- Downloads
Fix typo on use testtools & update tests
parent
e7030782
No related branches found
No related tags found
Showing
- .ci/install 3 additions, 2 deletions.ci/install
- .ci/setup_dune 1 addition, 1 deletion.ci/setup_dune
- .ci/system_tests 51 additions, 0 deletions.ci/system_tests
- .ci/system_tests.sh 0 additions, 29 deletions.ci/system_tests.sh
- .ci/unit_tests 51 additions, 0 deletions.ci/unit_tests
- .ci/unit_tests.sh 0 additions, 29 deletions.ci/unit_tests.sh
.ci/system_tests
0 → 100755
.ci/system_tests.sh
deleted
100644 → 0
.ci/unit_tests
0 → 100755
.ci/unit_tests.sh
deleted
100644 → 0
Please register or sign in to comment