mirror of
https://github.com/compiler-explorer/compiler-explorer.git
synced 2026-07-16 17:26:58 -04:00
Infra: https://github.com/compiler-explorer/infra/pull/2012. Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
Infra: https://github.com/compiler-explorer/infra/pull/2012. Signed-off-by: Miguel Ojeda <ojeda@kernel.org>