check-opte-ver

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

Sign in to view logs

Triggered via pull request November 8, 2023 00:39

sunshowers

opened #4462

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

Status Success

Total duration 1m 22s

Artifacts –

check-opte-ver.yml

on: pull_request