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

Publish documentation on GitHub Page #25

Merged
merged 8 commits into from
Feb 20, 2023
Merged

Publish documentation on GitHub Page #25

merged 8 commits into from
Feb 20, 2023

Conversation

Ludee
Copy link
Member

@Ludee Ludee commented Feb 20, 2023 •
edited
Loading

Summary of the discussion

For publishing and deploying the documentation on a GitHub Page with an GitHub Action this file is necessary:

  • .github\workflows\gh-pages.yml

Type of change (CHANGELOG.md)

Added

  • Add a GitHub workflow to deploy documentation (#25)

Workflow checklist

Automation

Closes #4

PR-Assignee

Reviewer

  • 🐙 Follow the Reviewer Guidelines
  • 🐙 Provided feedback and show sufficient appreciation for the work done

@Ludee Ludee added part: docu 📖 Improvements or additions to documentation type: enhancement ⚙️ Improvement of an existing feature labels Feb 20, 2023
@Ludee Ludee added this to the Complete repository milestone Feb 20, 2023
@Ludee Ludee requested a review from jh-RLI February 20, 2023 20:17
@Ludee Ludee self-assigned this Feb 20, 2023
@Ludee Ludee marked this pull request as ready for review February 20, 2023 20:20
@Ludee Ludee merged commit 88dfb57 into develop Feb 20, 2023
@Ludee Ludee deleted the feature-4-gh-page-deploy branch February 20, 2023 20:26
@Ludee Ludee linked an issue Feb 20, 2023 that may be closed by this pull request
Files for field DOCUMENTATION are missing #4
Open
8 tasks
@Ludee Ludee mentioned this pull request Feb 20, 2023
Open
8 tasks
@Ludee Ludee added status: completed ✔️ Task has been completed resolution: released 🎉 Resolved and released labels Aug 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jh-RLI jh-RLI Awaiting requested review from jh-RLI

Assignees

@Ludee Ludee

Labels
part: docu 📖 Improvements or additions to documentation resolution: released 🎉 Resolved and released status: completed ✔️ Task has been completed type: enhancement ⚙️ Improvement of an existing feature
Projects
None yet
Milestone
Complete and document field: DOCUMENT...
Development

Successfully merging this pull request may close these issues.

Files for field DOCUMENTATION are missing
1 participant
@Ludee