[Jenkins]Jenkins
log in | sign up
Started 3 yr 11 mo ago
Took 13 min on hpc6

Build #1041 (15/05/2020, 4:42:39 PM)

<a title="Mesa: upgrade to version 20.0.7 (#2342)" href="https://github.com/opencor/opencor/pull/2343">PR #2343</a>: Mesa: upgrade to version 20...
No changes.

GitHub pull request #2343 of commit 2a26b250d3ab1d10b56161565b3b5ba01f0c5f75, no merge conflicts.

This run spent:

  • 8.3 sec waiting;
  • 13 min build duration;
  • 13 min total from scheduled to completion.

Configurations

default