Skip to content

ci(documentation): Improve integrity of documentation build#1299

Merged
d3xter666 merged 1 commit intomainfrom
improve-ci
Feb 10, 2026
Merged

ci(documentation): Improve integrity of documentation build#1299
d3xter666 merged 1 commit intomainfrom
improve-ci

Conversation

@d3xter666
Copy link
Member

Currently, if there's a package update of ceratin documentation dependencies, we cannot be sure whether this can break the vitepress build.

This integrity test checks exactly this.

An example is #1295

@d3xter666 d3xter666 requested a review from a team February 9, 2026 11:38
@coveralls
Copy link

coveralls commented Feb 9, 2026

Coverage Status

coverage: 94.318% (-0.03%) from 94.35%
when pulling ffd409c on improve-ci
into 28788f7 on main.

@d3xter666 d3xter666 merged commit 042f26e into main Feb 10, 2026
30 checks passed
@d3xter666 d3xter666 deleted the improve-ci branch February 10, 2026 08:01
@matz3 matz3 changed the title ci(documentation): Improve integrity of documentation build ci(github-actions): Improve integrity of documentation build Feb 10, 2026
@matz3
Copy link
Member

matz3 commented Feb 11, 2026

The commit message was changed, but the PR was still merged with the previous PR title (invalid according to commitlint).
I think we should consider using a merge queue with the commitlint check to prevent this. It already happened several times in the past.

@matz3 matz3 changed the title ci(github-actions): Improve integrity of documentation build ci(documentation): Improve integrity of documentation build Feb 11, 2026
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.

3 participants