Skip to content

Remove bad PPA in main doc build workflow#1831

Merged
regisss merged 1 commit into
mainfrom
fix_apt_update
Apr 24, 2024
Merged

Remove bad PPA in main doc build workflow#1831
regisss merged 1 commit into
mainfrom
fix_apt_update

Conversation

@regisss

@regisss regisss commented Apr 24, 2024

Copy link
Copy Markdown
Contributor

What does this PR do?

See https://github.com/huggingface/optimum/actions/runs/8814386505/job/24194120535#step:15:475 .

Before submitting

  • This PR fixes a typo or improves the docs (you can dismiss the other checks if that's the case).
  • Did you make sure to update the documentation with your changes?
  • Did you write any new necessary tests?

Who can review?

@regisss regisss merged commit a7296b4 into main Apr 24, 2024
@regisss regisss deleted the fix_apt_update branch April 24, 2024 10:08
young-developer pushed a commit to young-developer/optimum that referenced this pull request May 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant