Started 11 mo ago
Took 42 min

Unstable Build #93 (Jan 11, 2019 5:38:57 PM)

Build Artifacts
Changes
  1. minor changes (detail / githubweb)

Started by user julien.deantoni@inria.fr

Revision: 9cb87a259bf121088af57d2bf0d1847fb05787e9
  • concurrency-coordination
Revision: 1c1667329c0c999f82e9e9f3e090ce591f129763
  • master
Revision: 693528dca69a2fe0e862f02b067a6b7f302434bf
  • master
Revision: 94d9ec07a1033baae469ce8f540c817a60d9a522
  • concurrency-coordination
Test Result (6 failures / ±0)Show all failed tests >>>