Skip to content

CI tweaks and fixes #6

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
Merged
merged 18 commits into from
Jun 30, 2022
Merged

CI tweaks and fixes #6

merged 18 commits into from
Jun 30, 2022

Conversation

palday
Copy link
Member

@palday palday commented Jun 29, 2022 •
edited
Loading

  • fixes errors that GitHub had flagged in the YAML
  • adds docs build and deployment to (private) GH pages
  • adds associated badges
  • removal of docs previews upon merging

@palday palday marked this pull request as ready for review June 29, 2022 14:39
@codecov
Copy link

codecov bot commented Jun 29, 2022 •
edited
Loading

Codecov Report

❗ No coverage uploaded for pull request base (main@39fcd6a). Click here to learn what that means.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main       #6   +/-   ##
=======================================
  Coverage        ?   89.50%           
=======================================
  Files           ?        1           
  Lines           ?      162           
  Branches        ?        0           
=======================================
  Hits            ?      145           
  Misses          ?       17           
  Partials        ?        0

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@palday palday requested a review from haberdashPI June 29, 2022 16:22
haberdashPI
haberdashPI approved these changes Jun 30, 2022
View reviewed changes
Copy link
Member

@haberdashPI haberdashPI left a comment

Choose a reason for hiding this comment

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

Thanks again!

@haberdashPI haberdashPI merged commit 394a7c1 into main Jun 30, 2022
@haberdashPI haberdashPI deleted the pa/ci branch June 30, 2022 18:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@haberdashPI haberdashPI haberdashPI approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@palday @haberdashPI