Skip to content
Snippets Groups Projects
Commit a13c31db authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

Add .gitlab-ci.yml

parent 45043920
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/.gitlab-ci.yml 0 → 100644
+ 7
− 0
View file @ a13c31db
Tests:
script:
- eval `opam config env`
- autoconf
- "./configure"
- make -j 12
- make PTESTS_OPTS="-error-code -j 4" tests -j 12
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment