2026-10-25T18:25:05.513Z Diffinery runner: job mirror (Push main to the GitHub mirror) for codician/diffinery@8841660faa50 2026-10-25T18:25:05.534Z Runner: image diffinery-runner:4d3bf17f06575e64ab4155b3, in mrs04, WEUR, container a17cd67b774f8cc4b3ae60c858374e97a032fdf128a264e541092d3f0d562a49 2026-10-25T18:25:05.534Z Runner size: large (4 vCPU, 12 GiB of memory, 20 GB of disk), fewer than 3 measured runs of this job to size it by; runs-on: diffinery-large (or -medium, -small, -tiny) sets a size 2026-10-25T18:25:05.534Z Host: AMD EPYC (family 25, model 17), 4 vCPUs, 2546 MHz 2026-10-25T18:25:05.534Z Workspace: /workspace/diffinery 2026-10-25T18:25:05.595Z ##[group]Run if [ -z "$GITHUB_MIRROR_TOKEN" ]; then 2026-10-25T18:25:05.595Z echo "::notice::GITHUB_MIRROR_TOKEN is not set, so GitHub is not updated." 2026-10-25T18:25:05.595Z echo "skip=true" >> "$GITHUB_OUTPUT" 2026-10-25T18:25:05.595Z fi 2026-10-25T18:25:05.595Z ##[endgroup] 2026-10-25T18:25:05.629Z ##[notice]GITHUB_MIRROR_TOKEN is not set, so GitHub is not updated. 2026-10-25T18:25:05.905Z Host: 1% of the vCPUs' time went to other work on the host (steal) 2026-10-25T18:25:05.905Z Job completed with conclusion: success 2026-10-25T18:25:05.906Z Resources: 0.5 of 4 vCPUs busy on average (0.7 at the 95th percentile), peak memory 0.3 GiB of 11.9 GiB, peak disk 1.1 GB of 19.2 GB