{#- # 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

Build

Test

Report

{% 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 svg in svgs %}
{% for line in svg -%} {{ line }} {% endfor %}{# line in svg #}
{% endfor -%}{# svg in svgs #}

Downloads

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