Skip to content

Bump sphinx-rtd-theme from 2.0.0 to 3.0.0 #211

Bump sphinx-rtd-theme from 2.0.0 to 3.0.0

Bump sphinx-rtd-theme from 2.0.0 to 3.0.0 #211

Workflow file for this run

name: Force pull-requests label(s)
on:
pull_request:
types: [opened, labeled, unlabeled]
jobs:
pr-has-label:
name: Will be skipped if labelled
runs-on: ubuntu-latest
if: ${{ join(github.event.pull_request.labels.*.name, ', ') == '' }}
steps:
- run: |
echo 'Pull-request must have at least one label'
exit 1