Diffinery runner: job mirror (Push main to the GitHub mirror) for codician/diffinery@9d38f17d79acRunner: image diffinery-runner:4d3bf17f06575e64ab4155b3, in ams13, WEUR, container 73b2d117ae602e8c5c63772b211ad0758447cc7b2c7016a5d361df07ee0b0edbRunner size: large (4 vCPU, 12 GiB of memory, 20 GB of disk), this job uses what a smaller runner doesn't have; runs-on: diffinery-large (or -medium, -small, -tiny) sets a sizeHost: AMD EPYC (family 25, model 1), 4 vCPUs, 2000 MHzWorkspace: /workspace/diffineryHost: 5% of the vCPUs' time went to other work on the host (steal)Job completed with conclusion: successResources: 0.6 of 4 vCPUs busy on average (0.8 at the 95th percentile), peak memory 0.3 GiB of 11.9 GiB, peak disk 1.1 GB of 19.2 GB

##[group]Run if [ -z "$GITHUB_MIRROR_TOKEN" ]; then  echo "::notice::GITHUB_MIRROR_TOKEN is not set, so GitHub is not updated."  echo "skip=true" >> "$GITHUB_OUTPUT"fi##[endgroup]##[notice]GITHUB_MIRROR_TOKEN is not set, so GitHub is not updated.