Skip to content
Lint php

fix: Revert change of extension which should refer to the new file extension #633

Sign in to view logs

fix: Revert change of extension which should refer to the new file extension

fix: Revert change of extension which should refer to the new file extension #633

Triggered via pull request August 23, 2023 16:18
@juliusknorrjuliusknorr
synchronize #3115
bugfix/noid/template-extension
Status Success
Total duration 5m 19s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-php.yml

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