Thanks a lot @rohara!
This configuration works perfectly for me:
version: 2
jobs:
build:
machine: true
steps:
- checkout
- run: echo 'deb http://packages.dotdeb.org jessie all' | sudo tee -a /etc/apt/sources.list
- run: echo 'deb-src http://packages.dotdeb.org jessie all' | sudo tee -a /etc/apt/sources.list
- run: cat /etc/apt/sources.list
- run: cd /tmp
- run: wget https://www.dotdeb.org/dotdeb.gpg
- run: sudo apt-key add dotdeb.gpg
- run: sudo apt-get update
- run: sudo apt-get install php7.0 php7.0-intl