Skip to content

Merge remote-tracking branch 'origin/main' #197

Merge remote-tracking branch 'origin/main'

Merge remote-tracking branch 'origin/main' #197

Workflow file for this run

name: "Integration"
on:
pull_request:
types: [ opened, synchronize ]
push:
branches: [ 'main' ]
concurrency:
# Cancel old runs if there is a new commit in the same branch
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
integration-packages:
uses: ./.github/workflows/integration-packages.yaml
secrets: inherit
integration-contracts:
uses: ./.github/workflows/integration-contracts.yaml
secrets: inherit