optimum
Remove bad PPA in main doc build workflow
#1831
Merged

Remove bad PPA in main doc build workflow #1831

regisss merged 1 commit into main from fix_apt_update
regisss
regisss Remove bad PPA in doc build workflow
5f07a383
regisss regisss merged a7296b45 into main 1 year ago
regisss regisss deleted the fix_apt_update branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone