Revision ef640a3e14dba95a185ed3de325ca30c07e8c2b2

Committed on 18/01/2022 1:12 am by Christophe Coevoet <[email protected]> [GitHub Diff]

Add a CI job running phpstan