Skip to content
Back to pull request #5498

revert: Augment the category menu by system tags and already used categories #1148

Sign in to view logs

revert: Augment the category menu by system tags and already used categories

revert: Augment the category menu by system tags and already used categories #1148

Triggered via pull request September 28, 2023 15:15
@miaulalalamiaulalala
synchronize #5498
fix/revert-b3af4c3
Status Success
Total duration 49s
Artifacts –

lint-php.yml

on: pull_request
Matrix: php-lint
php-lint-summary
8s
php-lint-summary
Fit to window
Zoom out
Zoom in