{#- # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. # # Licensed under the Apache License, Version 2.0 (the "License"). # You may not use this file except in compliance with the License. # A copy of the License is located at # # http://www.apache.org/licenses/LICENSE-2.0 # # or in the "license" file accompanying this file. This file is # distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF # ANY KIND, either express or implied. See the License for the specific # language governing permissions and limitations under the License. -#} {{ run["project"] }} Proof Results—{{ run["run_id"] }}

{{ run["project"] }} Proof Results

Litani CI Dashboard

{{ summary["fail"] }}

failed

{{ summary["in_progress"] }}

in progress

{{ summary["success"] }}

succeeded

{{ summary["total"] }}

total

{% for stage in run["stages"] %}

{{ stage }}

{% endfor %}{# stage in run["stages"] #}
{% for pipe in run["pipelines"] %}

{{ pipe["name"] }}

{% for stage in pipe["ci_stages"] %}
{% endfor %}{# stage in pipe["stages"] #}
{% if pipe["status"] == "fail" %} {% elif pipe["status"] == "success" %} {% elif pipe["status"] == "in_progress" %} {% endif %}{# pipe["status"] == "in_progress" #}
{% endfor %}{# pipe in run["pipelines"] #}
{% for title, svg_list in svgs.items() %} {% if svg_list %}

{{ title }}

{% for svg in svg_list %}
{% for line in svg -%} {{ line }} {% endfor %}{# line in svg #}
{% endfor %}{# svg in svg_list #}
{% endif %}{# svg_list #} {% endfor -%}{# title, svg_list in svgs #}

Downloads

Report generated with Litani {{ litani_version }} {% if litani_hash is not none %} ({{ litani_hash }}) {% endif %}{# litani_hash is not none #}