Started 3 yr 11 mo ago
Took 4 days 18 hr on rmod-bench

Aborted Build #547 (Dec 18, 2015 8:56:03 PM)

No changes.

Started by timer

Test Result (no tests)

    Aborted by user marcus.denker@inria.fr

    Configurations

    Unstabledefault