[docs] only build `en` docs in push CI #37677
time it
fdc0f489
gante
marked this pull request as ready for review 242 days ago
Merge branch 'main' into test_build_en_only
2e2ffb82
gante
changed the title [docs] only build `en` docs on push CI [docs] only build `en` docs in push CI 242 days ago
gante
merged
de8916dd
into main 242 days ago
gante
deleted the test_build_en_only branch 242 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub