[3.3] Workflow permissions and menu updated #8542

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

vamera wants to merge 2 commits into 3.3 from change/121-gh-workflow-permissions-3.3

Member

vamera commented May 14, 2025

Description

This PR:

Adds the GitHub workflow file compile.yml
Updates the content of the main menu to match the menu on our website.
Removes the link "Edit on GitHub".

Documentation compilation

Verified that documentation compiles without warnings.

Changelog

Updated CHANGELOG.md.

Code formatting & web optimization

Added or updated meta descriptions.
Updated redirects.js if necessary (guide).
Used three-space indentation in .rst files.

Writing style

Used bold for UI elements, italics for key terms or emphasis, and code font for Bash commands, file names, REST paths, and code.
Followed present tense, active voice, and a semi-formal tone.
Wrote short, clear, and concise sentences.

vamera added 2 commits

May 14, 2025 16:16


          Updated the main menu and removed the link to edit on GitHub

9913dd6


          Added GitHub Workflow file compile.yml

340478e

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet