Infer array dimensions from index expressions #65
Workflow file for this run
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: test | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - dev | |
| pull_request: | |
| branches: | |
| - main | |
| - dev | |
| workflow_dispatch: | |
| inputs: | |
| debug_enabled: | |
| type: boolean | |
| description: "Run the build with tmate debugging enabled (https://github.com/marketplace/actions/debugging-with-tmate)" | |
| required: false | |
| default: false | |
| jobs: | |
| test: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [ubuntu-22.04, macos-13] | |
| postgres: [11, 12, 13, 14, 15, 16] | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: "recursive" | |
| - name: Build | |
| id: build | |
| run: sudo sh -c "PG_VERSION=$PG_VERSION USE_SOURCE=1 GITHUB_OUTPUT=$GITHUB_OUTPUT ENABLE_COVERAGE=1 ./ci/scripts/build.sh" | |
| env: | |
| PG_VERSION: ${{ matrix.postgres }} | |
| BRANCH_NAME: ${{ github.head_ref || github.ref_name }} | |
| # Enable tmate debugging of manually-triggered workflows if the input option was provided | |
| - name: Setup tmate session | |
| uses: mxschmitt/action-tmate@v3 | |
| if: ${{ github.event_name == 'workflow_dispatch' && inputs.debug_enabled }} | |
| - name: Run tests linux | |
| id: test-linux | |
| run: sudo su postgres -c "PG_VERSION=$PG_VERSION ./ci/scripts/run-tests-linux.sh" | |
| env: | |
| PG_VERSION: ${{ matrix.postgres }} | |
| if: ${{ startsWith(matrix.os, 'ubuntu') }} | |
| - name: Run tests mac | |
| id: test-mac | |
| run: ./ci/scripts/run-tests-mac.sh | |
| env: | |
| PG_VERSION: ${{ matrix.postgres }} | |
| if: ${{ startsWith(matrix.os, 'mac') }} | |
| - name: Upload Postgres logs | |
| if: failure() | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: postgres-server-${{ matrix.postgres }}-logs | |
| path: | | |
| /tmp/pg-out.log | |
| /tmp/pg-error.log | |
| - name: Upload to codecov | |
| uses: codecov/codecov-action@v3 | |
| env: | |
| codecov_token: ${{ secrets.CODECOV_TOKEN }} | |
| if: ${{ env.codecov_token != '' && startsWith(matrix.os, 'ubuntu') && matrix.postgres == 15 }} # for now run only on once | |
| with: | |
| token: ${{ secrets.CODECOV_TOKEN }} | |
| name: codecov-lanterndb | |
| fail_ci_if_error: true | |
| files: /tmp/coverage.xml | |
| - name: Check clang formatting | |
| run: "cd /tmp/lantern/build && make format_check" |