frankenphp
ci: fallback on static-php.dev mirror when php.net is down
#2233

Merged

ci: fallback on static-php.dev mirror when php.net is down #2233

dunglas merged 5 commits into main from ci/php-api-fallback

dunglas requested a review from

copilot-pull-request-reviewer 154 days ago

copilot-pull-request-reviewer commented on 2026-03-03

alexandre-daubois commented on 2026-03-03

AlliBalliBaba commented on 2026-03-03

ci: fallback on gh when the php.net API is down

a4794b3c

fix

3033ad3b

add re2c

bc3a18e2

use phpmirror.static-php.dev instead

a809afc0

dunglas force pushed from 09980a4c to a809afc0 151 days ago

dunglas changed the title ~~ci: fallback on gh when the php.net API is down~~ ci: fallback on static-php.dev mirror when php.net is down 151 days ago

fix

fdca22ca

dunglas merged 6268015b into main 151 days ago

dunglas deleted the ci/php-api-fallback branch 151 days ago

Reviewers

henderkes

AlliBalliBaba

alexandre-daubois

copilot-pull-request-reviewer

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

frankenphp ci: fallback on static-php.dev mirror when php.net is down #2233 Merged

ci: fallback on static-php.dev mirror when php.net is down #2233

frankenphp
ci: fallback on static-php.dev mirror when php.net is down
#2233

Merged