fix: Rename rich workspace to folder description #3736
Triggered via pull request
October 19, 2023 14:36
juliusknorr
Status
Success
Total duration
1h 46m 18s
Artifacts
–
lint-php.yml
on: pull_request
Matrix: php-lint
php-lint-summary
0s