Skip to content

deploy contents of docs to github pages#91

Open
Project516 wants to merge 5 commits intomainfrom
merge-docs
Open

deploy contents of docs to github pages#91
Project516 wants to merge 5 commits intomainfrom
merge-docs

Conversation

@Project516
Copy link
Copy Markdown
Contributor

this will move the javadocs to the javadoc directory. this pr updates the workflows to carry this out, and updates the location to the javadocs in the documentation.

Copilot AI and others added 4 commits April 14, 2026 02:15
…docs

Update javadoc.yml: deploy docs as root with javadocs in /javadoc sub…
this is where they will be if this is merged

Co-Authored-By: project516 <138796702+Project516@users.noreply.github.com>
@Project516 Project516 added documentation Improvements or additions to documentation github_actions Pull requests that update GitHub Actions code labels Apr 14, 2026
@Project516 Project516 self-assigned this Apr 14, 2026
Copy link
Copy Markdown

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

Updates the GitHub Pages deployment so the repository’s Markdown docs are published at the site root while generated JavaDocs are published under a /javadoc subdirectory, and refreshes documentation links accordingly.

Changes:

  • Deploy docs/ contents alongside generated JavaDocs to GitHub Pages (JavaDocs under /javadoc).
  • Add/update links pointing to the new JavaDocs location.
  • Minor comment whitespace/wrapping cleanup in Java sources.

Reviewed changes

Copilot reviewed 4 out of 5 changed files in this pull request and generated 2 comments.

Show a summary per file
File Description
src/main/java/frc/robot/swerve/Swerve.java Wraps a JavaDoc comment for formatting consistency.
src/main/java/frc/robot/leds/LedStates.java Removes trailing whitespace in a commented JavaDoc block.
docs/index.md Adds a prominent link to the hosted JavaDocs.
README.md Updates the JavaDocs URL to include /javadoc.
.github/workflows/javadoc.yml Stages docs/ + generated JavaDocs and deploys both to GitHub Pages.

Comment thread docs/index.md Outdated
Comment on lines 25 to +29
run: ./gradlew javadoc

- name: Prepare Pages content
run: |
mkdir -p staging/javadoc
Copy link

Copilot AI Apr 20, 2026

Choose a reason for hiding this comment

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

./gradlew javadoc is invoked without first ensuring gradlew is executable. The CI workflow includes a chmod +x gradlew step; adding the same step here would prevent Pages deploy failures when the executable bit isn’t preserved on checkout.

Copilot uses AI. Check for mistakes.
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@Project516 Project516 marked this pull request as ready for review April 28, 2026 02:18
@Project516 Project516 requested a review from a team as a code owner April 28, 2026 02:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation github_actions Pull requests that update GitHub Actions code needs rebase

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants