Skip to content

Adds device name parameter to scratch disk #3123

Adds device name parameter to scratch disk

Adds device name parameter to scratch disk #3123

name: "Pull Request Reviewer"
on:
pull_request_target:
types: [opened, ready_for_review, reopened]
permissions:
pull-requests: write
jobs:
test:
if: ${{ github.actor != 'modular-magician' }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab # v3.5.2
- uses: uesteibar/reviewer-lottery@c291d74388da1cb583aff994b8be945e8eefbcd5 # v3.1.0
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}