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.

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

preview documentation PRs #137

Merged
merged 2 commits into from
Jul 6, 2022
Merged

preview documentation PRs #137

merged 2 commits into from
Jul 6, 2022

Conversation

aaronpeikert
Copy link
Collaborator

This PR adds a GHA that renders the documentation for PRs from documentation/branches.
They are availible under a different link that is posted as a comment in the PR.

@aaronpeikert
Copy link
Collaborator Author

See here for an example: aaronpeikert/StenoGraphs.jl#42

@github-actions
Copy link

github-actions bot commented Jul 1, 2022

1 similar comment
@github-actions
Copy link

github-actions bot commented Jul 1, 2022

@codecov
Copy link

codecov bot commented Jul 1, 2022

Codecov Report

Merging #137 (5bc5fc4) into main (9ef40a6) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #137   +/-   ##
=======================================
  Coverage   67.25%   67.25%           
=======================================
  Files          50       50           
  Lines        2361     2361           
=======================================
  Hits         1588     1588           
  Misses        773      773           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 9ef40a6...5bc5fc4. Read the comment docs.

@Maximilian-Stefan-Ernst
Copy link
Collaborator

With regards to our workflow, should this be merged into main or devel?

@aaronpeikert
Copy link
Collaborator Author

Its an action, so it must be merged into main to take effect. But it should of course than be merged also in devel.

@aaronpeikert aaronpeikert merged commit 270453b into main Jul 6, 2022
@aaronpeikert aaronpeikert deleted the documentation/preview-pr branch July 6, 2022 07:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants