Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: check if proper array key is declared #7912

Merged
merged 5 commits into from
Apr 14, 2024

Conversation

keradus
Copy link
Member

@keradus keradus commented Mar 26, 2024

requires #7905

preferably shall be done by PHPStan, but I couldn't find this option

@keradus keradus changed the title List aaa2 chore: check if proper array key is declared in docs Mar 26, 2024
@keradus keradus changed the title chore: check if proper array key is declared in docs CI: check if proper array key is declared in docs Mar 26, 2024
@keradus keradus changed the title CI: check if proper array key is declared in docs CI: check if proper array key is declared Mar 26, 2024
@keradus keradus force-pushed the list_aaa2 branch 2 times, most recently from 0b562e8 to 4f64927 Compare March 26, 2024 01:30
@coveralls
Copy link

coveralls commented Mar 26, 2024

Coverage Status

coverage: 96.013%. remained the same
when pulling c5bd831 on keradus:list_aaa2
into f3aa277 on PHP-CS-Fixer:master.

@keradus keradus enabled auto-merge (squash) March 27, 2024 19:53
@keradus keradus disabled auto-merge April 14, 2024 23:45
@keradus keradus merged commit 879c368 into PHP-CS-Fixer:master Apr 14, 2024
28 checks passed
@keradus keradus deleted the list_aaa2 branch April 14, 2024 23:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants