Skip to content

always check out the github.head_ref in CI#1186

Merged
RBusarow merged 1 commit intomainfrom rick/check-out-head_refFeb 24, 2024

Commits

Commits on Feb 23, 2024