Skip to content
This repository
branch: benchmark1.0.0
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 48 lines (45 sloc) 1.6 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
<!DOCTYPE HTML>
<html>
<head>
<link rel='stylesheet' href='/main.css'>
<style>
body {
background-color:white;
background-image: none;
margin: 20px;
}
</style>
</head>
<body>
<img src='badge'>
{% if error %}
<div class='error'>
<strong>Error:</strong> {{error}}
</div>
{% else %}
<p>You're authenticated as <strong>{{username}}</strong></p>
<p>This page allows you to express your support for issue #{{issue_number}} in the <a href='http://www.robohornet.org/'>RoboHornet benchmark</a>. You can learn more about issue {{issue_number}} on its <a href='https://github.com/robohornet/robohornet/issues/{{issue_number}}'>page in the GitHub project</a>.
{% if has_vote %}
<h2>You've already voted for issue {{issue_number}}.</h2>
<form method='post'>
<input type='submit' value='Unvote for issue {{issue_number}}'>
</form>
{% else %}
<h2>You haven't voted for issue {{issue_number}}.</h2>
<form method='post'>
<input type='submit' value='Vote for issue {{issue_number}}'>
</form>
{% endif %}
{% endif %}
<script type="text/javascript">

var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-34237734-1']);
_gaq.push(['_trackPageview']);

(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();

</script>
</body>
</html>
Something went wrong with that request. Please try again.