Removed unupdated/unsupported php71-32bit as Debian 8 Jessie updates …

…are no loger received

.circleci/config.yml

@@ -107,16 +107,6 @@ jobs:
     docker:
       - image: circleci/php:7.3-zts-node
 
-  php71-32bit:
-    <<: *unit-config
-    docker:
-      - image: gcr.io/php-stackdriver/php71-64bit
-    environment:
-      TEST_PHP_ARGS: -q
-      REPORT_EXIT_STATUS: 1
-      RUN_EXTENSION_TESTS: 1
-      SUDO_CMD: ""
-
   php71-debug:
     <<: *unit-config
     docker:

.travis.yml

@@ -1,29 +1,28 @@
+dist: trusty
 language: php
 php:
   - '7.1'
+    - - '7.2'
+  - '7.3'
 
-install:
-  - wget -O sami.phar http://get.sensiolabs.org/sami.phar
-  - wget -O /tmp/hugo.deb https://github.com/gohugoio/hugo/releases/download/v0.30.2/hugo_0.30.2_Linux-64bit.deb
-  - sudo dpkg -i /tmp/hugo.deb
+before_install:
+  - autoconf -V
+  - sudo apt-get update -y
+  - sudo apt-get install -y -q --no-install-recommends
+  - sudo apt-get install -y build-essential
+  - sudo apt-get install -y g++
+  - sudo apt-get install -y gcc
+  - sudo apt-get install -y libc-dev
+  - sudo apt-get install -y make
+  - sudo apt-get install -y autoconf
+  - sudo apt-get install -y git
+  - sudo apt-get install -y unzip
+  - sudo apt-get install -y pushd ext
+  - sudo apt-get install -y phpize
+  - ./configure --enable-opencensus
+  - make test || ((find . -name '*.diff' | xargs cat) && false)
 
-script:
-  - pushd docs
-  - hugo
-  - popd
-  - cp config/sami.php config/sami-config.php
-  - php sami.phar update config/sami-config.php
-  - touch docs/.nojekyll
 
-branches:
-  only:
-    - master
-
-deploy:
-  provider: pages
-  local_dir: docs/public
-  skip_cleanup: true
-  email: [email protected] # To satisfy the CLA check, replace this with bot email.
-  github_token: $GITHUB_TOKEN # Set in travis-ci.org dashboard
-  on:
-    branch: master
+before_script:
+  - composer install -n --prefer-dist
+  - sudo cp config/php.ini /usr/local/etc/php