Skip to content

chore(deps): update dependency com.graphhopper:graphhopper-core to v10 #31331

chore(deps): update dependency com.graphhopper:graphhopper-core to v10

chore(deps): update dependency com.graphhopper:graphhopper-core to v10 #31331

Workflow file for this run

name: CI/CD
on:
push:
# Disables the branch builds for some branches,
# the dispatcher for PRs should get triggered anyway
branches-ignore:
# Dependabot branch builds disabled as they do not access secrets
- 'dependabot/**'
paths-ignore:
- '.gitignore'
- '.mergify.yml'
- 'CHANGELOG.md'
- 'LICENSE'
- 'README.md'
- 'renovate.json'
pull_request:
workflow_dispatch:
jobs:
inspect:
runs-on: ubuntu-latest
if: false
steps:
- run: |
echo 'github.event_name = ${{ github.event_name }}'
echo 'github.event.pull_request.head.repo.full_name = ${{ github.event.pull_request.head.repo.full_name }}'
echo 'github.repository = ${{ github.repository }}'
echo 'github.head_ref = ${{ github.head_ref }}'
dispatcher:
runs-on: ubuntu-latest
# This filter blocks all pull-request builds that also have a branch build.
# Called workflows inherit the event, so, internally the workflow can distinguish.
# If the event is not a pull request, then the build should run
# (it is either a branch push or a dispatched workflow).
# If the pull request comes from another repo, then the build should run.
# If the pull request is from a dependabot branch, it should run, as
# the dispatcher is disabled for dependabot branch builds.
if: >-
github.event_name != 'pull_request'
|| github.event.pull_request.head.repo.full_name != github.repository
|| startsWith(github.head_ref, 'dependabot/')
steps:
- run: 'true'
ci-cd:
needs:
- dispatcher
uses: ./.github/workflows/build-and-deploy.yml
secrets: inherit