Skip to content

github actions: workaround for ondrej/php apt repository update error#2143

Merged
nodiscc merged 1 commit into
shaarli:masterfrom
nodiscc:fix-ci-php-update
Apr 29, 2025
Merged

github actions: workaround for ondrej/php apt repository update error#2143
nodiscc merged 1 commit into
shaarli:masterfrom
nodiscc:fix-ci-php-update

Conversation

@nodiscc
Copy link
Copy Markdown
Member

@nodiscc nodiscc commented Apr 28, 2025

E: Repository 'https://ppa.launchpadcontent.net/ondrej/php/ubuntu noble InRelease' changed its 'Label' value from '***** The main PPA for supported PHP versions with many PECL extensions *****' to 'PPA for PHP'

- E: Repository 'https://ppa.launchpadcontent.net/ondrej/php/ubuntu noble InRelease' changed its 'Label' value from '***** The main PPA for supported PHP versions with many PECL extensions *****' to 'PPA for PHP'
@nodiscc nodiscc added bug it's broken! tools developer tools labels Apr 28, 2025
@nodiscc nodiscc added this to the 0.14.1 milestone Apr 28, 2025
@nodiscc nodiscc self-assigned this Apr 28, 2025
@nodiscc nodiscc merged commit 570ba30 into shaarli:master Apr 29, 2025
8 checks passed
@nodiscc nodiscc deleted the fix-ci-php-update branch April 29, 2025 21:27
@nodiscc nodiscc modified the milestones: 0.14.1, 0.15.0 Jun 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug it's broken! tools developer tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant