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

Build docs on every push #507

Merged
merged 1 commit into from
Dec 10, 2023
Merged

Build docs on every push #507

merged 1 commit into from
Dec 10, 2023

Conversation

utf
Copy link
Member

@utf utf commented Dec 10, 2023

No description provided.

Copy link

codecov bot commented Dec 10, 2023

Codecov Report

Merging #507 (1badc25) into main (99b391b) will not change coverage.
Report is 1 commits behind head on main.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #507   +/-   ##
=======================================
  Coverage   99.86%   99.86%           
=======================================
  Files          20       20           
  Lines        1512     1512           
  Branches      415      415           
=======================================
  Hits         1510     1510           
  Misses          2        2           

@utf utf merged commit 341acc2 into main Dec 10, 2023
9 checks passed
@utf utf deleted the utf-patch-1 branch December 10, 2023 16:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant