Started 4 days 16 hr ago
Took 2 hr 24 min on research-jenkins-worker-07

Success Build #11840 (Feb 12, 2019 2:11:47 PM)

PR #3839: Implement actor checkpointing
No changes.

GitHub pull request #3839 of commit 6e3985ff29921cc2a22e928ae954e2a504eaf05b automatically merged.

Revision: 44603787a22090b775e5cbdb82783fb0c800f37e
  • origin/pr/3839/merge