Skip to content

Replace super-linter with custom linters#14

Merged
tvdijen merged 1 commit intomasterfrom
feature/replace-psalm
Aug 26, 2025
Merged

Replace super-linter with custom linters#14
tvdijen merged 1 commit intomasterfrom
feature/replace-psalm

Conversation

@tvdijen
Copy link
Member

@tvdijen tvdijen commented Aug 26, 2025

No description provided.

@tvdijen tvdijen merged commit b36d006 into master Aug 26, 2025
22 of 27 checks passed
@tvdijen tvdijen deleted the feature/replace-psalm branch August 26, 2025 21:07
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 16, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant