Skip to content
Snippets Groups Projects
Commit d714e42b authored by jcarpent's avatar jcarpent
Browse files

[Gitlab] Change to make check instead of make test

parent ea07d040
No related branches found
No related tags found
No related merge requests found
Pipeline #
...@@ -29,7 +29,7 @@ cache: ...@@ -29,7 +29,7 @@ cache:
- make checkout - make checkout
- make install - make install
- cd work.*/${PROJECT}*/ - cd work.*/${PROJECT}*/
- make test - make check
- make doc - make doc
except: except:
- gh-pages - gh-pages
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment