Skip to content

Merge pull request #7920 from fstagni/90_tornado_flip #1288

Merge pull request #7920 from fstagni/90_tornado_flip

Merge pull request #7920 from fstagni/90_tornado_flip #1288

Workflow file for this run

name: PR sweep
on:
- push
jobs:
pr-sweep:
runs-on: ubuntu-latest
concurrency: pr-sweep
timeout-minutes: 30
if: github.repository == 'DIRACGrid/DIRAC'
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
token: ${{ secrets.PAT }}
- uses: DIRACGrid/pr-sweeper@main
with:
github-pat: ${{ secrets.PAT }}
pr-project-name: DiracGridBot/DIRAC