A GitLab update will be applied on May 23, between 8am and 10am, EDT (UTC-04:00). This site may have intermittent delays during that time.
Move to submitting Dashboard results to open.cdash.org.
Fixes #134 (closed)