diff options
author | Joas Schilling <coding@schilljs.com> | 2023-10-16 10:41:11 +0200 |
---|---|---|
committer | Joas Schilling <coding@schilljs.com> | 2023-10-16 10:41:11 +0200 |
commit | d9219705e4854411039a57e02ccae429e80d3483 (patch) | |
tree | 9b929b8959196304b1852cf35b4a7f49fa9cee75 /psalm.xml | |
parent | 5a098314c4ac4f6dd70f9ebe576e6b2d4be0119c (diff) |
fix(CI): Fix CI on pushes
Signed-off-by: Joas Schilling <coding@schilljs.com>
Diffstat (limited to 'psalm.xml')
-rw-r--r-- | psalm.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ findUnusedBaselineEntry="true" findUnusedCode="false" resolveFromConfigFile="true" + phpVersion="8.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="https://getpsalm.org/schema/config" xsi:schemaLocation="https://getpsalm.org/schema/config vendor-bin/psalm/vendor/vimeo/psalm/config.xsd" |