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

Attempt to fix docrs in CI #2568

Draft
wants to merge 14 commits into
base: main
Choose a base branch
from
Draft

Attempt to fix docrs in CI #2568

wants to merge 14 commits into from

Conversation

ma2bd
Copy link
Contributor

@ma2bd ma2bd commented Oct 3, 2024 •
edited
Loading

Motivation

Fix docrs in CI (for real)

Proposal

Test Plan

CI

@ma2bd ma2bd marked this pull request as draft October 3, 2024 21:48
@ma2bd ma2bd force-pushed the fix_ci branch 3 times, most recently from 5e02020 to eb6131a Compare October 5, 2024 13:52
@ma2bd ma2bd changed the title Attempt to fix docrs in CI (again) Attempt to fix docrs in CI Oct 5, 2024
@ma2bd ma2bd force-pushed the fix_ci branch 2 times, most recently from 474f21c to 8cfdaf7 Compare October 6, 2024 22:43
@ma2bd ma2bd marked this pull request as ready for review October 7, 2024 22:41
@ma2bd ma2bd requested review from Twey and jvff October 7, 2024 22:41
@ma2bd ma2bd mentioned this pull request Oct 9, 2024
Open
@ma2bd ma2bd marked this pull request as draft October 10, 2024 01:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Twey Twey Awaiting requested review from Twey

@jvff jvff Awaiting requested review from jvff

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

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