Free up space on the github runner by deleting some tools we don't use #80147
Triggered via pull request
February 27, 2024 23:59
Status
Cancelled
Total duration
5m 25s
Artifacts
–
Annotations
2 errors and 5 warnings
Cirque
Canceling since a higher priority waiting request for 'refs/pull/32350/merge-Cirque-32350' exists
|
Cirque
The operation was canceled.
|
Cirque
`pre` execution is not supported for local action from './.github/actions/checkout-submodules'
|
Cirque
No files were found with the provided path: /tmp/cirque_test_output/. No artifacts will be uploaded.
|
Cirque
`pre` execution is not supported for local action from './.github/actions/bootstrap-cache'
|
Cirque
`pre` execution is not supported for local action from './.github/actions/bootstrap-cache'
|
Cirque
`pre` execution is not supported for local action from './.github/actions/checkout-submodules'
|