From c219917c36e94e97957beef47eee6b67a52fbd60 Mon Sep 17 00:00:00 2001 From: Daniil Gentili Date: Mon, 25 Nov 2024 19:11:27 +0300 Subject: [PATCH] psalm --- bugs/15_psalm.sh | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 bugs/15_psalm.sh diff --git a/bugs/15_psalm.sh b/bugs/15_psalm.sh new file mode 100755 index 0000000..159880b --- /dev/null +++ b/bugs/15_psalm.sh @@ -0,0 +1,20 @@ +#!/bin/bash -e + +standalone=$PWD/bugs/wrap.php + +cd /tmp + +if [ ! -d psalm_15 ]; then git clone https://github.com/vimeo/psalm -b master psalm_15;fi + +cd psalm_15 + +cp $standalone . + +composer i --ignore-platform-reqs + +echo "About to run psalm" + +sleep 3 + +docker run -v $PWD:/app --rm --privileged -it asan_tests bash -c 'export USE_ZEND_ALLOC=0; /usr/bin/php --repeat 2 -f /app/wrap.php vendor/bin/phpunit tests/FileUpdates/ErrorAfterUpdateTest.php' +echo "OK, no bugs!"