Batch #{{ batch.id }} by {{ render_local_user(batch.local_user) }}
{% if batch.title %}
{{ render_batch_title( batch ) }}
{% endif %}
{% set background_run = batch.background_runs.get_last() %}
{% set currently_running = background_run and not background_run[1] %}
Targeting {{ batch.domain }}.
Created {{ batch.created | render_datetime }},
last updated {{ batch.last_updated | render_datetime }}.
{% set summary = batch.command_records.get_summary() %}
{% set total = summary.values() | sum %}
{{ total }} command{% if total > 1 %}s{% endif -%}
{%- for type, count in summary | dictsort(by='value', reverse=true) -%}
, {{ count }} {{ type | render_command_record_type }}
{%- endfor %}
(export).
{% if background_run %}
{% endif %}
+{% set command_records_length = batch.command_records | length %}
+{% set nav %}
+{% endset %}
+{{ nav }}
{% set command_records = batch.command_records.get_slice(offset, limit) %}
-{% for command_record in command_records %}
-