Started 5 days 16 hr ago
Took 2 hr 14 min on research-jenkins-worker-08

Success Build #11825 (Feb 11, 2019 11:14:50 PM)

PR #3839: Implement actor checkpointing
No changes.

GitHub pull request #3839 of commit e938845acc34391b38f706a9e2cf434e7383ec2f automatically merged.

Revision: 913f7e50da2872698779ea0ffe323a64bdca9617
  • origin/pr/3839/merge