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

Put docs release deployment in separate job #978

Merged
merged 1 commit into from Oct 19, 2021

Conversation

CasperWA
Copy link
Member

This should fix part 1 of #976.

There seems to be a permission issue, I believe, after using the push-protected action, however, it may also be due to other things.
In any case, when using mike deploy as the last step in the publish workflow, the workflow fails (see this run).
Separating this step into a subsequent job should solve this issue (I saw the same thing for OPTIMADE Gateway, forgot, and needed to do the same there, after which it worked).

@codecov
Copy link

codecov bot commented Oct 18, 2021

Codecov Report

Merging #978 (1351938) into master (de84af0) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #978   +/-   ##
=======================================
  Coverage   92.92%   92.92%           
=======================================
  Files          67       67           
  Lines        3787     3787           
=======================================
  Hits         3519     3519           
  Misses        268      268           
Flag Coverage Δ
project 92.92% <ø> (ø)
validator 92.92% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.


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 de84af0...1351938. Read the comment docs.

@ml-evs
Copy link
Member

ml-evs commented Oct 18, 2021

(I'm happy if you're happy)

Copy link
Contributor

@JPBergsma JPBergsma left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I did not see anything wrong with the changes you made. But I do not have any experience with setting up GitHub actions. So I doubt, I would spot them.

@CasperWA
Copy link
Member Author

I'll merge and make another release to test the workflow (v0.16.6).

@CasperWA CasperWA merged commit 803d80b into master Oct 19, 2021
@CasperWA CasperWA deleted the cwa/fix-part1-976-docs-deployment-release-bug branch October 19, 2021 10:50
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.

None yet

3 participants