Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. CI: make "light" test lighter (commit: 8d874fa) (details)
Commit 8d874fa3bb92f4a14b289136ef53712788aa6c6a by xavier.leroy
CI: make "light" test lighter

Also disable shared library support.
 (commit: 8d874fa)
The file was modifiedtools/ci/inria/light (diff)