Mathlib CI: No space left on device

Stream: ecosystem infrastructure

[Snir Broshi]

https://github.com/leanprover-community/mathlib4/actions/runs/18755773846/job/53507200222?pr=30826
(Not sure if this is the correct channel, or if someone is already on it)

Current runner version: '2.329.0'
Runner name: 'hoskinson2'
Runner group name: 'default'
Machine name: '5eb5c8693a06'
GITHUB_TOKEN Permissions
Secret source: Actions
Prepare workflow directory
Prepare all required actions
Getting action download info
Download action repository 'dcarbone/install-jq-action@f0e10f46ff84f4d32178b4b76e1ef180b16f82c3' (SHA:f0e10f46ff84f4d32178b4b76e1ef180b16f82c3)
Download action repository 'actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683' (SHA:11bd71901bbe5b1630ceea73d27597364c9af683)
Download action repository 'leanprover-community/gh-problem-matcher-wrap@20007cb926a46aa324653a387363b52f07709845' (SHA:20007cb926a46aa324653a387363b52f07709845)
Download action repository 'actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02' (SHA:ea165f8d65b6e75b540449e92b4886f43607fa02)
Error: No space left on device : '/home/lean/actions-runner/_work/_actions/actions/upload-artifact/ea165f8d65b6e75b540449e92b4886f43607fa02/.github/ISSUE_TEMPLATE'

[Bryan Gin-ge Chen]

Thanks for the report! This has already been addressed, hopefully: #mathlib4 > Error: No space left on device @ 💬