CI error "Can't use 'tar -xzf' extract archive file"

Stream: general

[Apurva Nakade]

Hi,

Link: https://github.com/leanprover-community/mathlib4/actions/runs/6074312185/job/16478148465?pr=6437

The CI bot is throwing the following error:

Current runner version: '2.308.0'
Runner name: 'hoskinson2'
Runner group name: 'Default'
Machine name: '86f4ee8fa5e0'
GITHUB_TOKEN Permissions
Secret source: Actions
Prepare workflow directory
Prepare all required actions
Getting action download info
Download action repository 'dcarbone/install-jq-action@v1.0.1' (SHA:91d8da7268538e8a0ae0c8b72af44f1763228455)
Download action repository 'actions/checkout@v3' (SHA:f43a0e5ff2bd294095638e18286ca9a3d1956744)
Error: Can't use 'tar -xzf' extract archive file: /home/lean/actions-runner/_work/_actions/_temp_6d1e1f5d-88d3-4eb3-a624-bfe871099891/530dae6a-56ee-475f-8583-41153ebe16dc.tar.gz. return code: 2.

[Apurva Nakade]

It goes away if I re-run the task (has happened before). Thought I should report here.

[Alex J. Best]

Looks like this is a very general issue with the action (or even simply github), https://github.com/actions/checkout/issues/1448, presumably we should just wait and it will be fixed soon (if it isn't already)