Skip to content

Add name to drgn.Thread #224

Add name to drgn.Thread

Add name to drgn.Thread #224

Workflow file for this run

name: Pull Request CI
on:
pull_request:
types:
- opened
- synchronize
- reopened
- labeled
jobs:
test:
uses: ./.github/workflows/ci.yml
if: ${{ github.event.action != 'labeled' || github.event.label.name == 'test-all-python-versions' }}
with:
test_all_python_versions: ${{ contains(github.event.pull_request.labels.*.name, 'test-all-python-versions') }}
test_all_kernel_flavors: ${{ contains(github.event.pull_request.labels.*.name, 'test-all-kernel-flavors') }}