diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2023-01-12 15:45:41 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-12 15:45:41 -0500 |
| commit | 0ae83847f498a2886ae32172e50fd5bdbab2f524 (patch) | |
| tree | c52c1ab4d3b3ff9057911e1b82ea79ffdb077932 /ext/webgpu/src/01_webgpu.js | |
| parent | ff871e626428880017679ca6adffd01bd133e711 (diff) | |
chore(ci): skip running the benchmarks on a PR except when a label is added (#17377)
Diffstat (limited to 'ext/webgpu/src/01_webgpu.js')
0 files changed, 0 insertions, 0 deletions