mirror of
https://github.com/kevinveenbirkenbach/infinito.git
synced 2025-01-09 06:01:35 +01:00
b41f2c777e
Used https://stackoverflow.com/questions/15674064/how-to-fix-a-permission-denied-publickey-error-for-a-git-submodule-update-in-t/24600210
16 lines
537 B
YAML
16 lines
537 B
YAML
language: php
|
|
# Handle git submodules yourself
|
|
git:
|
|
submodules: false
|
|
# Use sed to replace the SSH URL with the public URL, then initialize submodules
|
|
before_install:
|
|
- sed -i 's/git@github.com:/https:\/\/github.com\//' .gitmodules
|
|
- git submodule update --init --recursive
|
|
before_script:
|
|
- travis_retry composer self-update
|
|
- travis_retry composer install --no-interaction --prefer-source --dev
|
|
script:
|
|
- vendor/bin/phpunit --coverage-clover=coverage.xml
|
|
after_success:
|
|
- bash <(curl -s https://codecov.io/bash)
|