| commit | 18b2e538b6ea589503d4e501be289e9d5f97fa7d | [log] [tgz] |
|---|---|---|
| author | pantor <lars.berscheid@online.de> | Wed Mar 18 09:51:32 2020 +0100 |
| committer | pantor <lars.berscheid@online.de> | Wed Mar 18 09:51:32 2020 +0100 |
| tree | a3b27e5322b1c3fecbe31f904cfbe1def99b6ad9 | |
| parent | 9f6a57439d0bab9c8c7647ef4520a61892d4f861 [diff] |
fix ci
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b013606..a28469d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml
@@ -35,4 +35,6 @@ shell: bash run: | ls + cd .. + ls ctest -C $BUILD_TYPE -V