Started 5 days 23 hr ago
Took 19 min on amp-jenkins-staging-worker-02

Failed Build #11802 (Feb 11, 2019 4:11:35 PM)

PR #3839: Implement actor checkpointing
No changes.

GitHub pull request #3839 of commit 9c7da6d214dfc7b0779e0123e7466dc8710b99d3 automatically merged.

Revision: 09e29148d831434d4a42d4826a72dbcde9a3f5cc
  • origin/pr/3839/merge