Started 4 days 11 hr ago
Took 1 hr 18 min on research-jenkins-worker-08

Failed Build #11854 (Feb 12, 2019 7:32:30 PM)

PR #3839: Implement actor checkpointing
No changes.

GitHub pull request #3839 of commit c70a499bc691f3846991707c4451b13ff564ca07 automatically merged.

Revision: 02941d212cd9c9ceec2493a5ac8d5814798f7a2c
  • origin/pr/3839/merge