diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 2680c6219..000000000 --- a/.travis.yml +++ /dev/null @@ -1,40 +0,0 @@ -dist: bionic -language: php -os: linux -php: - - "7.4" - - "7.2" - -services: - - mysql -install: - - sudo add-apt-repository -y ppa:ondrej/php - - sudo apt update -qq - - sudo apt install -qq -y apache2 libapache2-mod-php${TRAVIS_PHP_VERSION:0:3} php${TRAVIS_PHP_VERSION:0:3}-cli php${TRAVIS_PHP_VERSION:0:3}-common php${TRAVIS_PHP_VERSION:0:3}-json php${TRAVIS_PHP_VERSION:0:3}-opcache php${TRAVIS_PHP_VERSION:0:3}-xml php${TRAVIS_PHP_VERSION:0:3}-readline php-pear php${TRAVIS_PHP_VERSION:0:3}-curl php${TRAVIS_PHP_VERSION:0:3}-mysql php${TRAVIS_PHP_VERSION:0:3} - - sudo cp -f ci/files/apache.conf /etc/apache2/sites-available/000-default.conf - - sudo service apache2 restart - - php -v - - sudo rm -rf /var/www/html/hashtopolis - - sudo git clone https://github.com/hashtopolis/server /var/www/html/hashtopolis - - sudo /bin/bash ci/files/prepare.sh $TRAVIS_BRANCH - - sudo php -f ci/server/setup.php $TRAVIS_BRANCH - -env: - - VERSION="master" - - VERSION="0.12.0" - - VERSION="0.11.0" - - VERSION="0.10.0" - -jobs: - # older versions only tested for master and PRs - exclude: - - if: (branch != master AND type != pull_request) - php: "7.2" - - if: (branch != master AND type != pull_request) - env: VERSION="0.11.0" - - if: (branch != master AND type != pull_request) - env: VERSION="0.10.0" - - -script: - - php -f ci/run.php master $VERSION diff --git a/doc/changelog.md b/doc/changelog.md index 14e94396d..6759bbcc0 100644 --- a/doc/changelog.md +++ b/doc/changelog.md @@ -1,4 +1,4 @@ -# v0.12.0 -> v0.x.x +# v0.12.0 -> v0.13.0 ## Features diff --git a/doc/protocol.pdf b/doc/protocol.pdf index d6cc39168..cfb6b8c1d 100755 Binary files a/doc/protocol.pdf and b/doc/protocol.pdf differ diff --git a/doc/user-api/user-api.pdf b/doc/user-api/user-api.pdf index b053ab3e4..ec959034a 100644 Binary files a/doc/user-api/user-api.pdf and b/doc/user-api/user-api.pdf differ diff --git a/src/bin/hashtopolis.zip b/src/bin/hashtopolis.zip index 2370cb7d5..1d04e63f2 100644 Binary files a/src/bin/hashtopolis.zip and b/src/bin/hashtopolis.zip differ diff --git a/src/inc/info.php b/src/inc/info.php index dcbc178e6..c4e38e9b7 100644 --- a/src/inc/info.php +++ b/src/inc/info.php @@ -1,6 +1,6 @@ filter([]); foreach ($agentBinaries as $agentBinary) {