Merge pull request #7112 from rouault/coverity_1595596 #35
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Build and test PHP MapScript | |
on: | |
push: | |
branches: | |
- '*' | |
except: | |
- /^(cherry-pick-)?backport-\d+-to-/ | |
pull_request: | |
branches: | |
- '*' | |
except: | |
- /^(cherry-pick-)?backport-\d+-to-/ | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }} | |
cancel-in-progress: true | |
permissions: | |
contents: read | |
jobs: | |
build: | |
runs-on: ubuntu-20.04 | |
strategy: | |
matrix: | |
php-version: [8.3, 8.2] | |
env: | |
IGNORE_COMPARISON_RESULT_ON_CI: 'true' | |
steps: | |
- name: Checkout code | |
uses: actions/checkout@v4 | |
- name: Set up Python | |
uses: actions/setup-python@v5 | |
with: | |
python-version: 3.8 | |
- name: Setup PHP | |
run: | | |
# for pre-installed software see | |
# https://github.com/actions/runner-images/blob/main/images/ubuntu/Ubuntu2004-Readme.md | |
# both swig and php are included, so removed these | |
sudo apt-get -qq remove "php*-cli" "php*-dev" | |
sudo apt-get -qq remove "swig*" | |
sudo add-apt-repository ppa:ondrej/php -y | |
sudo apt-get -qq update | |
sudo apt-get -qq install php${{ matrix.php-version }}-cli php${{ matrix.php-version }}-dev | |
- name: Install dependencies | |
run: ./ci/ubuntu/setup.sh | |
- name: Build | |
run: ./ci/ubuntu/build.sh |