Skip to content
This repository has been archived by the owner on May 31, 2023. It is now read-only.

Add check_concinnity test to the GitHub CI workflow #164

Closed
wants to merge 3 commits into from
Closed

Add check_concinnity test to the GitHub CI workflow #164

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
499ed0f
Add check_concinnity test to the GitHub CI workflow
thesiv Oct 12, 2020
d19e995
Fix shellcheck errors in check_concinnity test for GutHub CI workflow
thesiv Oct 12, 2020
fcf7f95
Remove `ln` from CI script to see the errors
thesiv Oct 16, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
7 changes: 7 additions & 0 deletions .github/workflows/ci.yml
View file
Open in desktop
Expand Up @@ -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
Expand Down Expand Up @@ -152,9 +153,15 @@ jobs:
</configurable_settings>
EOF

# Fix the symbolic link to .git/hooks.
./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

Expand Down