{% if details is not none %}
{{ details|safe }}
{% endif %} {% if sr is not none and sr.compiled() %}

{% trans %}Compilation output{% endtrans %}

{# TODO: trim long outputs and add facility to see raw #}
{% trans %}Compilation outcome:{% endtrans %} {{ sr.compilation_text|format_status_text }}
{% trans %}Compilation time:{% endtrans %} {% if sr.compilation_time is none %} {% trans %}N/A{% endtrans %} {% else %} {{ sr.compilation_time|format_duration }} {% endif %}
{% trans %}Memory used:{% endtrans %} {% if sr.compilation_memory is none %} {% trans %}N/A{% endtrans %} {% else %} {{ sr.compilation_memory|format_size }} {% endif %}
{% if sr.compilation_stdout is not none %}

{% trans %}Standard output{% endtrans %}

{{ sr.compilation_stdout }}
{% endif %} {% if sr.compilation_stderr is not none %}

{% trans %}Standard error{% endtrans %}

{{ sr.compilation_stderr }}
{% endif %} {% endif %}