check-opte-ver

[ci] switch GHA to using the PR tip by default #991

Sign in to view logs

Triggered via pull request November 8, 2023 01:56

sunshowers

synchronize #4462

sunshowers/spr/ci-switch-gha-to-using-the-pr-tip-by-default

Status Success

Total duration 3m 7s

Artifacts –

check-opte-ver.yml

on: pull_request