Add more information

This commit is contained in:
nora 2025-11-14 22:01:29 +01:00
parent 9c71be05a8
commit 5b62eaff57
4 changed files with 37 additions and 3 deletions

View file

@ -14,6 +14,11 @@
<a href="/target?target={{target}}">{{target}}</a> ({{mode}})
</h1>
<a href="/">Home</a>
<p>
🔔 does-it-build supports sending notifications to target maintainers via
GitHub issues. You can add yourself with
<a href="{{notification_pr_url}}">a PR</a>. 🔔
</p>
<div class="{{status}} build-indicator-big">{{status}}</div>
{% if let Some(rustflags) = rustflags %}
<p>

View file

@ -38,6 +38,12 @@
{% endfor %}
</p>
{% endif %}
{% if let Some(issue) = open_notification_issue_number %}
<p>
There is currently an open issue with a maintainer ping:
<a href="{{notification_repo}}/issues/{{issue}}">{{notification_repo}}/issues/{{issue}}</a>
</p>
{% endif %}
{% if showing_failures %}
<p>
<a href="/target?target={{target}}">show all</a>