Skip to content

Conversation

@danilolutz
Copy link
Owner

No description provided.

@coveralls
Copy link

Coverage Status

coverage: 100.0%. remained the same
when pulling 036d12e on docs/add-docs
into 898ec61 on main.

Copy link

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

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

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +6 to +9
permissions:
actions: read
pages: write
id-token: write

Choose a reason for hiding this comment

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

P1 Badge Grant contents permission for checkout

The workflow overrides the GITHUB_TOKEN scopes to only actions/pages/id-token, so the default contents: read scope is removed. actions/checkout@v3 needs contents: read to pull the repo; with these permissions the checkout step will fail on every tag push and docs will never build. Add contents: read under permissions to allow the publish-docs job to run.

Useful? React with 👍 / 👎.

@danilolutz danilolutz merged commit 32826cd into main Nov 24, 2025
3 of 4 checks passed
@danilolutz danilolutz deleted the docs/add-docs branch November 24, 2025 21:09
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