Skip to content

Merge remote-tracking branch 'origin/develop' into release #1137

Merge remote-tracking branch 'origin/develop' into release

Merge remote-tracking branch 'origin/develop' into release #1137

Workflow file for this run

on: [push, pull_request]
jobs:
check-shellcheck:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- run: sudo ./.github/scripts/install-shellcheck.sh
- run: make shellcheck
check-shfmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- run: sudo ./.github/scripts/install-shfmt.sh
- run: make shfmtcheck
verify-query-packages:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- run: ./.github/scripts/verify-query-packages.sh
verify-query-packages-macos:
runs-on: macos-latest
steps:
- uses: actions/checkout@v1
- run: ./.github/scripts/verify-query-packages.sh
verify-query-packages-jenkins:
runs-on: ubuntu-latest
container: jenkins/jenkins
steps:
- uses: actions/checkout@v1
- run: ./.github/scripts/verify-query-packages.sh