Started 2 mo 19 days ago
Took 25 min on basic-tt5sp

Success Build #711 (Nov 2, 2020, 7:48:31 AM)

Changes
  1. fix documentation version changer JS script; moved to customscripts.js instead of having it in sidebar.html (details / githubweb)

Started by an SCM change

Revision: a8e66a8e4788c6543cc261acbb8425e05524f3dd
  • refs/remotes/origin/master
Test Result (no failures)