Skip to content

Remove unused Player sounds #1473

Remove unused Player sounds

Remove unused Player sounds #1473

Triggered via pull request September 2, 2023 10:20
Status Cancelled
Total duration 1m 20s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

Linux_aarch64.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Linux AArch64 (aarch64-linux-gnu)-refs/pull/6551/merge' exists
build
The operation was canceled.