{#- # 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"] #}
{% if front_page_outputs %}

Job Outputs

{% for job_desc, job in front_page_outputs.items() %}

Output of job "{{ job_desc }}":

{% for line in job["stdout"] %} {{ line.strip() }} {%- endfor %}{# line in job["stdout"] #}
{% endfor %}{# job_desc, job in front_page_outputs.items() #}
{% endif %}{# front_page_outputs #} {% 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