Skip to content

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