Pull Request Has Priority Label

chore: update gitignore #153

Sign in to view logs

Triggered via pull request November 5, 2024 13:46

jsstevenson

synchronize #76

ignore-sphinx-build

Status Success

Total duration 12s

Artifacts –

pr-priority-label.yaml

on: pull_request

pr-priority-label