Started 9 days 15 hr ago
Took 42 min on research-jenkins-worker-07

Failed Build #11679 (Feb 7, 2019 10:36:33 PM)

PR #3839: Implement actor checkpointing
No changes.

GitHub pull request #3839 of commit 1d64d5591f7f6524e0a24149835a2f6427cbe4af automatically merged.

Revision: 57c8df629edfac405e4f93bca278bdab31851e2e
  • origin/pr/3839/merge