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

Documentation Workflow #1017

Merged
merged 1 commit into from
Apr 21, 2023
Merged

Documentation Workflow #1017

merged 1 commit into from
Apr 21, 2023

Conversation

dfuchss
Copy link
Member

@dfuchss dfuchss commented Apr 5, 2023

This PR adds the data from Wiki to a docs folder that will be deployed upon push to main or if a commit is tagged.

See #267

⚠️ The docs folder will always override all contents of the wiki ⚠️

@dfuchss dfuchss requested a review from a team April 5, 2023 21:29
@sonarcloud
Copy link

sonarcloud bot commented Apr 5, 2023

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

@tsaglam
Copy link
Member

tsaglam commented Apr 6, 2023

@jplag/studdev just FYI, after this PR is merged, you can update the Wiki (if required) in the same PR where you change the codebase itself.

@tsaglam tsaglam requested a review from a team April 20, 2023 08:51
@tsaglam tsaglam added enhancement Issue/PR that involves features, improvements and other changes major Major issue/feature/contribution/change labels Apr 20, 2023
@tsaglam tsaglam removed the request for review from a team April 21, 2023 08:37
@tsaglam tsaglam merged commit 5c7e313 into develop Apr 21, 2023
@tsaglam tsaglam deleted the feature/docs branch April 21, 2023 08:37
@tsaglam tsaglam mentioned this pull request May 30, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tsaglam tsaglam tsaglam approved these changes

Assignees
No one assigned
Labels
enhancement Issue/PR that involves features, improvements and other changes major Major issue/feature/contribution/change
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dfuchss @tsaglam