Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. A lightweight variant of the Inria CI script "main" (commit: 43f7a26) (details)
Commit 43f7a263b344feac675e10b10b471acb99e14ac0 by xavier.leroy
A lightweight variant of the Inria CI script "main"

Tries to build just what's needed to run the test suite.
 (commit: 43f7a26)
The file was addedtools/ci/inria/light