mirror of
https://github.com/php/php-src.git
synced 2026-04-03 14:12:38 +02:00
See https://github.com/actions/runner-images/issues/9491#issuecomment-1989718917 The mentioned workaround doesn't work for us because we run ASan inside Docker. Instead, we switch to ubuntu-20.04 as the host. The docker setup itself remains the same. Closes GH-13757