Pull Request Has Priority Label

chore: ignore alternate sphinx build path #32

Sign in to view logs

Triggered via pull request October 25, 2024 18:03

jsstevenson

opened #51

gitignore

Status Success

Total duration 12s

Artifacts –

pr-priority-label.yaml

on: pull_request

pr-priority-label