You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
💣 Bug: CI links-when-pr failed during new docs are created #1386
The problem is that mkdocs has an "edit this page" feature that links to the main branch of GitHub. Before PR was merged in, this document did not exist with the main branch.
Activity