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.

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

docs: Build C documentation for c-... tags and main branch only. #307

Merged
merged 2 commits into from
Dec 13, 2022
Merged

docs: Build C documentation for c-... tags and main branch only. #307

merged 2 commits into from
Dec 13, 2022

Conversation

duesee
Copy link
Contributor

@duesee duesee commented Dec 13, 2022

No description provided.

@duesee duesee requested a review from a team as a code owner December 13, 2022 14:30
@cla-bot cla-bot bot added the cla-signed label Dec 13, 2022
@duesee duesee linked an issue Dec 13, 2022 that may be closed by this pull request
ci: Don't build unrelevant documentation tags. #305
Closed
@coveralls
Copy link

coveralls commented Dec 13, 2022 •
edited

Pull Request Test Coverage Report for Build 3686487330

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • 321 unchanged lines in 3 files lost coverage.
  • Overall coverage decreased (-0.5%) to 55.438%
Files with Coverage Reduction New Missed Lines %
src/EverCrypt_Curve25519.c 11 67.65%
src/EverCrypt_AutoConfig2.c 17 82.1%
src/Hacl_Curve25519_64.c 293 0%
Totals Coverage Status
Change from base Build 3686457907: -0.5%
Covered Lines: 33436
Relevant Lines: 60312
💛 - Coveralls

@duesee duesee enabled auto-merge (rebase) December 13, 2022 14:46
@duesee duesee merged commit d54ffcf into main Dec 13, 2022
@duesee duesee deleted the duesee/issue_305 branch December 13, 2022 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@franziskuskiefer franziskuskiefer franziskuskiefer approved these changes

Assignees
No one assigned
Labels
cla-signed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

ci: Don't build unrelevant documentation tags.
3 participants
@duesee @coveralls @franziskuskiefer