[lmi-commits] [lmi] master e1e9875: Add check_concinnity test to the GitHub CI workflow

[Vadim Zeitlin]

branch: master
commit e1e9875497a87357d77bf19a2bf9398adc6f915a
Author: Ilya Sinitsyn <isinitsyn@tt-solutions.com>
Commit: Vadim Zeitlin <vadim@tt-solutions.com>

    Add check_concinnity test to the GitHub CI workflow
    
    Run even more tests automatically.
---
 .github/workflows/ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 45aa07d..0434873 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -85,6 +85,7 @@ jobs:
             sudo --preserve-env chown $NORMAL_UID $d;
           done;
           mkdir /srv/cache_for_lmi/downloads
+          mkdir /opt/lmi/src
 
       - name: Cache downloaded archives
         uses: actions/cache@v2
@@ -152,9 +153,18 @@ jobs:
           </configurable_settings>
           EOF
 
+          # Create the symbolic link to pass `check_concinnity` tests.
+          ln -s $GITHUB_WORKSPACE /opt/lmi/src/lmi
+
+          # Tests rely on the symlinks set up by this script, so run it.
+          ./check_git_setup.sh
+
       - name: Install
         run: make install
 
+      - name: Check concinnity
+        run: make $coefficiency check_concinnity
+
       - name: Check physical closure
         run: make $coefficiency check_physical_closure