Skip to content

Merge pull request #2490 from mbeddr/bugfix/2468-TraceExplorerRequire… #127

Merge pull request #2490 from mbeddr/bugfix/2468-TraceExplorerRequire…

Merge pull request #2490 from mbeddr/bugfix/2468-TraceExplorerRequire… #127

name: PR to merge into the next version
on:
push:
branches:
- 'maintenance/mps*'
jobs:
create-pr:
uses: specificlanguages/cascading-merge/.github/workflows/workflow.yml@v1
with:
exclude_branch_prefix: maintenance/mps3