Skip to content

Pool Overview redesign #3351

Pool Overview redesign

Pool Overview redesign #3351

# https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/troubleshooting-required-status-checks#handling-skipped-but-required-checks
name: Pinning API
on:
pull_request:
paths-ignore:
- 'pinning-api/**'
- '.github/workflows/pinning-api.yml'
jobs:
build-pinning-api:
runs-on: ubuntu-latest
steps:
- run: 'echo "This job is always green to ensure PRs without code changes to the main folders can also merge"'