Commit 8118a940 authored by Swann Perarnau's avatar Swann Perarnau
Browse files

[ci] activate valgrind in CI

Verbose logs and one single OPENMP thread to avoid weird valgrind
scheduling issues.

Fix #68
parent 10c87720
Pipeline #10955 passed with stages
in 3 minutes and 22 seconds
...@@ -118,6 +118,33 @@ make:out-of-tree: ...@@ -118,6 +118,33 @@ make:out-of-tree:
- config.log - config.log
- tests/*.log - tests/*.log
make:valgrind:
tags:
- nix
- kvm
stage: build
except:
- /^wip.*/
- /^WIP.*/
variables:
CFLAGS: "-std=c99 -pedantic -Wall -Wextra -Werror -Wno-unused-but-set-parameter -Wno-builtin-declaration-mismatch"
VERBOSE: "1"
OMP_NUM_THREADS: "1"
script:
- |
nix-shell --run bash <<< '
./autogen.sh
mkdir build
./configure --prefix=`pwd`/build --enable-valgrind
make
make check-valgrind
'
artifacts:
when: on_failure
paths:
- config.log
- tests/*.log
make:knl: make:knl:
stage: build stage: build
except: except:
......
Markdown is supported
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