Started 3 mo 21 days ago
Took 3 min 58 sec

Aborted Build #16 (Jun 25, 2019 3:12:37 AM)

Changes
  1. Bump ALE version to 2019-06-24 (#19) (detail / githubweb)

Branch indexing

Revision: 19d6397dbccd2cc84acda7bb3d6fb6a0ff5755a5
  • change-ocl-dependency
Revision: 69cca1ed9d4501026f04e5ee6477f7c66b395fed
  • master
Revision: 3e8b2ae1035cfbb9af9e908f4647838a3d8b62e8
  • master

Aborted by user didier.vojtisek@inria.fr

Revision: 3df5d7807b2c971f82a6830c6ac191e6ad53f1bc
  • master

Aborted by user didier.vojtisek@inria.fr