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

docs: fix gh-pages CI #71

Closed
wants to merge 1 commit into from
Closed

docs: fix gh-pages CI #71

wants to merge 1 commit into from

Conversation

AngryMaciek
Copy link
Owner

Fix missing file in the CI.

@AngryMaciek AngryMaciek added bug Something isn't working ci Improvements to the CI system labels Aug 5, 2023
@AngryMaciek AngryMaciek self-assigned this Aug 5, 2023
@github-actions github-actions bot added the size/XS ci-tag label Aug 5, 2023
@codecov
Copy link

codecov bot commented Aug 5, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (0654f55) 100.00% compared to head (d3fcd30) 100.00%.

Additional details and impacted files
@@            Coverage Diff            @@
##            master       #71   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            3         3           
  Lines          893       893           
=========================================
  Hits           893       893           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@github-actions
Copy link

github-actions bot commented Aug 5, 2023

Dear @AngryMaciek,

It is our utmost pleasure to receive your glorious PR to our humble codebase.
You may kick back & relax for now. Our team will be with you shortly...





Fig 1. Typical GitHub repo: PR assignee & a reviewer arguing over typos.

@AngryMaciek
Copy link
Owner Author

I will fix this in another branch, not here.

@AngryMaciek AngryMaciek closed this Aug 5, 2023
@AngryMaciek AngryMaciek deleted the gh-pages-fix branch August 5, 2023 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working ci Improvements to the CI system size/XS ci-tag
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant