Skip to content
Post PR summary comment

[Merged by Bors] - chore: Rename Embedding to IsEmbedding #26842

Sign in to view logs

[Merged by Bors] - chore: Rename Embedding to IsEmbedding

[Merged by Bors] - chore: Rename Embedding to IsEmbedding #26842

Triggered via pull request October 28, 2024 07:23
@YaelDilliesYaelDillies
synchronize #18133
rename_embedding
Status Success
Total duration 48s
Artifacts –

PR_summary.yml

on: pull_request
build
41s
build
Fit to window
Zoom out
Zoom in