Skip to content

specify next release #60

specify next release

specify next release #60

Workflow file for this run

name: CI
on: [push]
jobs:
blackbox:
runs-on: ${{ matrix.os }}
concurrency:
group: proofs
cancel-in-progress: false
strategy:
max-parallel: 1
matrix:
os: [ubuntu-latest]
php-version: ['8.3']
name: 'BlackBox'
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup PHP
uses: shivammathur/setup-php@v2
with:
php-version: ${{ matrix.php-version }}
extensions: mbstring, intl
coverage: none
- name: Composer
uses: "ramsey/composer-install@v2"
- name: BlackBox
run: php blackbox.php ci
env:
S3_URL: ${{ secrets.S3_URL_PROOFS }}
S3_REGION: ${{ secrets.S3_REGION_PROOFS }}
blackbox_coverage:
runs-on: ${{ matrix.os }}
concurrency:
group: coverage
cancel-in-progress: false
strategy:
max-parallel: 1
matrix:
os: [ubuntu-latest]
php-version: ['8.3']
name: 'BlackBox Coverage'
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup PHP
uses: shivammathur/setup-php@v2
with:
php-version: ${{ matrix.php-version }}
extensions: mbstring, intl
coverage: xdebug
- name: Composer
uses: "ramsey/composer-install@v2"
- name: BlackBox
run: php blackbox.php ci
env:
ENABLE_COVERAGE: 'true'
S3_URL: ${{ secrets.S3_URL_COVERAGE }}
S3_REGION: ${{ secrets.S3_REGION_COVERAGE }}
- uses: codecov/codecov-action@v1
with:
token: ${{ secrets.CODECOV_TOKEN }}
psalm:
runs-on: ubuntu-latest
strategy:
matrix:
php-version: ['8.2', '8.3']
dependencies: ['lowest', 'highest']
name: 'Psalm'
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup PHP
uses: shivammathur/setup-php@v2
with:
php-version: ${{ matrix.php-version }}
extensions: mbstring, intl
- name: Composer
uses: "ramsey/composer-install@v2"
with:
dependency-versions: ${{ matrix.dependencies }}
- name: Psalm
run: vendor/bin/psalm --shepherd
cs:
runs-on: ubuntu-latest
strategy:
matrix:
php-version: ['8.2']
name: 'CS'
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup PHP
uses: shivammathur/setup-php@v2
with:
php-version: ${{ matrix.php-version }}
extensions: mbstring, intl
- name: Composer
uses: "ramsey/composer-install@v2"
- name: CS
run: vendor/bin/php-cs-fixer fix --diff --dry-run