Skip to content

fix: fix docs deploy#4221

Closed
Samoed wants to merge 4 commits intomainfrom
fix_docs_ci
Closed

fix: fix docs deploy#4221
Samoed wants to merge 4 commits intomainfrom
fix_docs_ci

Conversation

@Samoed
Copy link
Member

@Samoed Samoed commented Mar 10, 2026

deploy
Branch "main" is not allowed to[ deploy ](https://github.com/embeddings-benchmark/mteb/actions/runs/22898120498/job/66437880862)to github-pages due to environment protection rules.

The deployment was rejected or didn't satisfy other protection rules.

https://github.com/embeddings-benchmark/mteb/actions/runs/22898120498/attempts/1

@Samoed
Copy link
Member Author

Samoed commented Mar 10, 2026

Probably there will be solution https://github.com/orgs/community/discussions/39054#discussioncomment-4134107 . Tried to change to deploy from action, but this still didn't finish successfully

@KennethEnevoldsen
Copy link
Contributor

Currently, the rules are as follows. That seems like the main branch should be able to deploy (but this PR should not)

Screenshot 2026-03-11 at 08 52 12


- name: Configure GitHub Pages
if: github.event_name == 'push'
# if: github.event_name == 'push'
Copy link
Contributor

Choose a reason for hiding this comment

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

We of course don't want this generally

Copy link
Contributor

Choose a reason for hiding this comment

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

I have temporarily allowed all branches:

Image

Then we can make it work and then convert to only main again

Copy link
Member Author

Choose a reason for hiding this comment

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

We of course don't want this generally

Yes, this is for debugging

@Samoed
Copy link
Member Author

Samoed commented Mar 11, 2026

Still same error
image

@KennethEnevoldsen
Copy link
Contributor

Hmm, should we try testing on another repo to figure out the CI? An alternative approach is of course pushing the changes to the github-pages branch as before

@Samoed
Copy link
Member Author

Samoed commented Mar 11, 2026

Previously this was done by mkdocs gh-deploy, but now we don't have this option. I'll try to debug in my fork

@Samoed
Copy link
Member Author

Samoed commented Mar 11, 2026

Deploy was successful in 5530493 but in c87573e failed

@Samoed
Copy link
Member Author

Samoed commented Mar 11, 2026

Retried c87573e and seems everything is working. Now we deploy from github action, not from branch

@Samoed Samoed closed this Mar 11, 2026
@Samoed Samoed deleted the fix_docs_ci branch March 11, 2026 09:23
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