Started 7 days 22 hr ago
Took 2 hr 26 min on amp-jenkins-staging-worker-02

Failed Build #11856 (Feb 12, 2019 8:03:34 PM)

PR #3839: Implement actor checkpointing
No changes.

GitHub pull request #3839 of commit 428d8b55a9055d35e7e3f4436809889aace01553 automatically merged.

Revision: 3e88740b580652015182dcbe46835a35793a5617
  • origin/pr/3839/merge