Skip to content

hack: remove the PR file changed checks for CI#1806

Merged
CommanderStorm merged 2 commits intomaplibre:mainfrom
CommanderStorm:CommanderStorm-patch-1
Apr 25, 2025
Merged

hack: remove the PR file changed checks for CI#1806
CommanderStorm merged 2 commits intomaplibre:mainfrom
CommanderStorm:CommanderStorm-patch-1

Conversation

@CommanderStorm
Copy link
Member

@CommanderStorm CommanderStorm commented Apr 25, 2025

Yes, a bit hacky and not the proper solution, but gets this bug silenced.
I don't like that CI always fails on docs PRs.
F.ex #1801 could be merged, but needs admin approval.

A proper solution would be to skip all except CI FInished if just docs were changed.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR aims to bypass the current CI failure issue on documentation-only pull requests by removing the file change checks that ignore markdown and docs file changes.

  • Removed "paths-ignore" configuration from the pull_request trigger in the CI workflow file.
Comments suppressed due to low confidence (1)

.github/workflows/ci.yml:7

  • Removing the 'paths-ignore' block will cause CI to run on every docs PR, which might lead to unnecessary builds and increased CI load. Consider implementing a conditional job that only runs additional checks for non-doc changes.
-    paths-ignore:

Copy link
Member

@nyurik nyurik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

sigh, i guess optimizations are just not worth the trouble of force override... i have seen some workflows that somehow iterate over all workflows and check if any failed... TBD

@CommanderStorm CommanderStorm merged commit a2a1211 into maplibre:main Apr 25, 2025
20 checks passed
@CommanderStorm CommanderStorm deleted the CommanderStorm-patch-1 branch July 10, 2025 17:07
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.

2 participants

Comments