Console Output

Content: 
<p>This is an automated email from the Jenkins build machine. It was
generated because of a git hooks/post-receive script following
a ref change which was pushed to the C∀ repository.</p>

<p>- Status --------------------------------------------------------------</p>

<p>BUILD# 2210 - SUCCESS</p>
<p>Check console output at https://cforall.uwaterloo.ca/jenkins/job/Cforall/job/master/2210/ to view the results.</p>

<p>- Changes -------------------------------------------------------------</p>

<pre>
The branch master has been updated.
      from  bc547d37653baaa8e7fac63a33cc9fe1fd2a3b0f (commit)
</pre>

<p>- Log -----------------------------------------------------------------</p>

<pre>

</pre>

<p>-----------------------------------------------------------------------</p>
<pre>
Summary of changes:

</pre>