Merge branch 'refactor-ci' into 'master' |
|
More...
|
9 months ago
|
Factor out the continuous integration backend |
|
More...
|
9 months ago
|
patch to print the elapsed time in [days,]hours,minutes,seconds |
|
More...
|
9 months ago
|
fixed compiler warning |
|
More...
|
9 months ago
|
fix for https://gitlab.inria.fr/cado-nfs/cado-nfs/-/issues/30069 |
|
More...
|
9 months ago
|
Merge branch 'strip-unneeded-cov' into 'master' |
|
More...
|
9 months ago
|
strip unneeded coverage files |
|
More...
|
9 months ago
|
tentative fix for https://gitlab.inria.fr/cado-nfs/cado-nfs/-/issues/30069 |
|
More...
|
9 months ago
|
fixed typo reported by Paul Leyland |
|
More...
|
9 months ago
|
Merge branch 'use-icx-and-icpx' |
|
More...
|
9 months ago
|
fix uid cap which impacts Paul |
|
More...
|
9 months ago
|
[only coverage] test |
|
More...
|
9 months ago
|
[only coverage] test |
|
More...
|
9 months ago
|
[only coverage] test |
|
More...
|
9 months ago
|
[only coverage] test |
|
More...
|
9 months ago
|
[only coverage] missing line in .gitlab-ci.yml |
|
More...
|
9 months ago
|
try to fix badges |
|
More...
|
9 months ago
|
[only coverage] export build_tree |
|
More...
|
9 months ago
|
skip the containers job when we're only interested in coverage |
|
More...
|
9 months ago
|
[only coverage] what about a "coverage-only" pipeline ? |
|
More...
|
9 months ago
|
The generated sources must be part of the artifacts. |
|
More...
|
9 months ago
|
bug fighting |
|
More...
|
9 months ago
|
I'm fed up with it. Let's stick to gcovr. Is it better ? |
|
More...
|
9 months ago
|
Merge branch 'use-icx-and-icpx' into fix-lcov-version-problems |
|
More...
|
9 months ago
|
Fix ci/debug.sh "checks with icc", and transition to icx |
|
More...
|
9 months ago
|
So apparently lcov's genhtml has yet another weird behavior. |
|
More...
|
9 months ago
|
CI_COMMIT_SHORT_SHA is defined as 8-character |
|
More...
|
9 months ago
|
Merge branch 'remove-mpfq' into valgrind |
|
More...
|
9 months ago
|
Merge branch 'master' into remove-mpfq |
|
More...
|
9 months ago
|
Merge branch 'master' into remove-mpfq |
|
More...
|
9 months ago
|