Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix azure docs pipeline #1037

Merged
merged 1 commit into from
Mar 28, 2024
Merged

Fix azure docs pipeline #1037

merged 1 commit into from
Mar 28, 2024

Conversation

joshreini1
Copy link
Contributor

@joshreini1 joshreini1 commented Mar 28, 2024 •
edited
Loading

Other details that are good to know but need not be announced:

  • Fix docs azure pipeline

@joshreini1 joshreini1 requested a review from piotrm0 March 28, 2024 01:06
@joshreini1 joshreini1 marked this pull request as ready for review March 28, 2024 01:06
@dosubot dosubot bot added size:S This PR changes 10-29 lines, ignoring generated files. documentation Improvements or additions to documentation labels Mar 28, 2024
@joshreini1 joshreini1 changed the title add missing job name Fix azure docs pipeline Mar 28, 2024
@joshreini1 joshreini1 merged commit 2b5e303 into main Mar 28, 2024
5 checks passed
sfc-gh-dhuang pushed a commit that referenced this pull request Jun 28, 2024
@joshreini1
add missing job name (#1037)
0e7a9db
sfc-gh-chu pushed a commit that referenced this pull request Sep 25, 2024
@joshreini1
add missing job name (#1037)
e97bc5d
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@piotrm0 piotrm0 Awaiting requested review from piotrm0

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation size:S This PR changes 10-29 lines, ignoring generated files.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@joshreini1