Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 11 mo ago
Took 1 min 50 sec on _launcher_
Success

#7 (Jun 30, 2022, 7:31:15 PM)

No changes.

Started by user guillaume.paran@inria.fr

Rebuilds build #6

Configurations

Not run  Not run  Not run  Not run  Not run  Not run  Not run