Delete merged branch of the backport PRs

Disable sort optimization for HALF_FLOAT #5212

Sign in to view logs

Triggered via pull request October 30, 2023 15:21

reta

closed #10999

gashutos:main

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request