Skip to content

Conversation

@JanFSchulte
Copy link
Contributor

#1367 seems to break the mirroring of the repo to gitlab. The bump to the version of the checkout action are still necessary, so this PR is meant to replace the broken one.

Type of change

  • Other (Specify)

Tests

Checklist

  • N/A

@jmitrevs jmitrevs added the please test Trigger testing by creating local PR branch label Aug 21, 2025
@jmitrevs
Copy link
Contributor

Do you understand the test failure?

@vloncar
Copy link
Contributor

vloncar commented Aug 22, 2025

We need an extra permission for the sphinx action. I can get to it once I'm near a computer.

@JanFSchulte JanFSchulte added please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch labels Oct 30, 2025
@JanFSchulte JanFSchulte added please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch labels Oct 30, 2025
@JanFSchulte JanFSchulte added github_actions Pull requests that update GitHub Actions code please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch labels Oct 30, 2025
@JanFSchulte JanFSchulte added please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch github_actions Pull requests that update GitHub Actions code labels Oct 30, 2025
@JanFSchulte JanFSchulte added please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch labels Oct 30, 2025
@JanFSchulte JanFSchulte added please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch labels Oct 30, 2025
@JanFSchulte JanFSchulte added the please test Trigger testing by creating local PR branch label Oct 30, 2025
@JanFSchulte JanFSchulte added please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch labels Oct 30, 2025
@JanFSchulte JanFSchulte added please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch labels Oct 30, 2025
@JanFSchulte JanFSchulte added please test Trigger testing by creating local PR branch and removed please test Trigger testing by creating local PR branch labels Oct 30, 2025
@JanFSchulte
Copy link
Contributor Author

I have set up fresh tokens for the repo that we need to keep the actions working after this update. It works nicely for the test-sphinx/build one, but the update of the branch on PR from fork is not able to be tested in this PR and might still be problematic. I think it should work, but we probably just need to bite the bullet, merge this, and then see if everything works.

@vloncar vloncar merged commit a209862 into fastmachinelearning:main Oct 30, 2025
4 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

please test Trigger testing by creating local PR branch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants