Skip to content

chore(ci): use github.head_ref instead of .ref for concurrency #771

chore(ci): use github.head_ref instead of .ref for concurrency

chore(ci): use github.head_ref instead of .ref for concurrency #771

Triggered via pull request December 11, 2023 12:54
@xiehanxiehan
labeled #170
Status Success
Total duration 13s
Artifacts

pull-request-lint.yml

on: pull_request_target
Validate PR title
2s
Validate PR title
Fit to window
Zoom out
Zoom in