mirror of
https://github.com/compiler-explorer/compiler-explorer.git
synced 2025-12-27 09:23:52 -05:00
Infra: https://github.com/compiler-explorer/infra/pull/1922. Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
Infra: https://github.com/compiler-explorer/infra/pull/1922. Signed-off-by: Miguel Ojeda <ojeda@kernel.org>