Skip to content
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

Feature deploy javadoc to GitHub pages #99

Merged
merged 3 commits into from
Apr 21, 2022
Merged

Feature deploy javadoc to GitHub pages #99

merged 3 commits into from
Apr 21, 2022

Conversation

agrancaric
Copy link
Collaborator

Basic information

  • nrich version:
    1.3.0
  • Module:
    Project

Additional information

Description

Summary

Added gradle plugin and github workflow for generating and deploying javadoc to github pages.

Details

Added gradle plugin and github workflow for generating and deploying javadoc to github pages.

Related issue

#57

Types of changes

  • New feature (non-breaking change which adds functionality)

Checklist

  • I have read the project's CONTRIBUTING document
  • I have checked my code with the project's static analysis tooling
  • I have formatted my code with the project's IDEA code-style configuration
  • I have checked my code for misspellings
  • I have organized my changes in easy-to-follow commits
  • My change requires a change to the documentation
  • I have updated the documentation accordingly
  • I have added tests to cover my changes
  • All new and existing tests pass.

@agrancaric agrancaric force-pushed the feature_deployJavadocToGithubPages branch from b76414e to 20bba6d Compare April 21, 2022 11:34
@agrancaric agrancaric linked an issue Apr 21, 2022 that may be closed by this pull request
Migrate docs to Github Pages #57
Closed
@jsajlovic jsajlovic merged commit 53c41d5 into master Apr 21, 2022
@jsajlovic jsajlovic deleted the feature_deployJavadocToGithubPages branch April 21, 2022 12:04
@jsajlovic jsajlovic added this to the v1.4.0 milestone May 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jsajlovic jsajlovic jsajlovic approved these changes

@ijakus ijakus Awaiting requested review from ijakus

@jzrilic jzrilic Awaiting requested review from jzrilic

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v1.4.0
Development

Successfully merging this pull request may close these issues.

Migrate docs to Github Pages
2 participants
@agrancaric @jsajlovic