{% extends "base.html" %}
{% block title %}ProofWarden — no projects{% endblock %}
{% block main %}
<header class="pw-phead">
  <div>
    <div class="pw-phead__name">ProofWarden</div>
    <div class="pw-phead__kind mono">testing &amp; CI authority</div>
  </div>
</header>
<div class="empty empty--unknown absence">
  <div class="empty__icon">?</div>
  <p class="empty__title">No projects discovered</p>
  <p class="empty__desc">Point <span class="mono">MGF_TEST_WEB_ROOTS</span> (a <span class="mono">:</span>-separated
    list of project dirs) or <span class="mono">MGF_TEST_WEB_ROOT</span> (a base dir to scan) at projects
    that carry a <span class="mono">fed-resources/</span> tree.</p>
</div>
{% endblock %}