{{ run["project"] }} Proof Results
Litani CI Dashboard
- {{ run["status"] }}
- {{ run["start_time"] }}
- {{ run["run_id"] }}
Build
Test
Report
{% for svg in svgs %}
{% for line in svg -%}
{{ line }}
{% endfor %}{# line in svg #}
{% endfor -%}{# svg in svgs #}