jasder
/
antlr
1
0
Fork 1
Code Issues Pull Requests Releases 1 Wiki Activity

try again

This commit is contained in:
Eric Vergnaud 2021-02-13 19:04:45 +08:00
parent f670a3944d
commit 88b582a73c
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.circleci/scripts/install-linux-php.sh
View File

@ -6,9 +6,8 @@ sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328
sudo apt-get update -qq
sudo apt update
sudo apt list
sudo apt install php7.2-cli
sudo apt install php-cli
php -v