Skip to content

💣 Bug: CI links-when-pr failed during new docs are created #1386

Closed

Description

@aFlyBird0

What Happened?

Take a look at https://github.com/devstream-io/devstream/actions/runs/3785082363/jobs/6435441585:

The url where the 404 occurs is very strange.

91f6d996-7878-463e-9774-1f80c8cd7fe9

How to Reproduce?

Create a new doc in /docs and submit a pr.

Anything else

Analyze

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.

eb79adb9-4df6-4414-9a90-de4d4b43705b

image

358ab3d0-4c89-4eec-864c-378040643951

Solution

Disable "edit this page" in CI links-when-pr.

https://www.mkdocs.org/user-guide/configuration/#edit_uri

image

DevStream Version

latest

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions