Started 1 mo 28 days ago
Took 1 min 45 sec

Failed Build #26 (Jul 24, 2020 5:10:02 AM)

Changes
  1. Updating submodule gemoc-studio to track head of branch master (details / githubweb)
  2. Updating submodule gemoc-studio-execution-ale to track head of branch master (details / githubweb)

Branch indexing

Revision: 09bb882560e567b16846a185929b36201cf33fa0
  • concurrency-analysis