Started 4 days 3 hr ago
Took 42 sec on research-jenkins-worker-09

Failed Build #29225 (Jul 31, 2020 7:00:58 AM)

PR #9818: [NOT FOR MERGE] Object spil...
Failed to determine (log)

GitHub pull request #9818 of commit f636f90bd446781725681118dda4f8e81296c012.