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

Document COVERAGE_RCFILE #3574

Closed
cmarqu opened this issue Dec 10, 2023 · 0 comments · Fixed by #3798
Closed

Document COVERAGE_RCFILE #3574

cmarqu opened this issue Dec 10, 2023 · 0 comments · Fixed by #3798
Labels
category:docs documentation issues and fixes good first issue this issue is a good starting point for new contributors. The issue should give an actionable descri
Milestone
2.0

Comments

@cmarqu
Copy link
Contributor

cmarqu commented Dec 10, 2023

Document the supported environment variable COVERAGE_RCFILE (location moved in #3571), next to https://docs.cocotb.org/en/stable/building.html#envvar-COVERAGE
@cmarqu cmarqu added category:docs documentation issues and fixes good first issue this issue is a good starting point for new contributors. The issue should give an actionable descri labels Dec 10, 2023
@ktbarrett ktbarrett added this to the 2.0 milestone Dec 12, 2023
cmarqu added a commit that referenced this issue Mar 21, 2024
@cmarqu
Document COVERAGE_RCFILE and COCOTB_LIBRARY_COVERAGE
c993689 
Closes #3574.
@cmarqu cmarqu mentioned this issue Mar 21, 2024
Merged
cmarqu added a commit that referenced this issue Mar 21, 2024
@cmarqu
Document COVERAGE_RCFILE and COCOTB_LIBRARY_COVERAGE
5217eeb 
Closes #3574.
cmarqu added a commit that referenced this issue Mar 21, 2024
@cmarqu
Document COVERAGE_RCFILE and COCOTB_LIBRARY_COVERAGE
b66071d 
Closes #3574.
cmarqu added a commit that referenced this issue May 12, 2024
@cmarqu
Document COVERAGE_RCFILE
e221e8c 
Closes #3574.
ktbarrett pushed a commit that referenced this issue Jun 6, 2024
@cmarqu @ktbarrett
Document COVERAGE_RCFILE
3fd24f5 
Closes #3574.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
category:docs documentation issues and fixes good first issue this issue is a good starting point for new contributors. The issue should give an actionable descri
Projects
None yet
Milestone
2.0
Development

Successfully merging a pull request may close this issue.

Document COVERAGE_RCFILE cocotb/cocotb
2 participants
@cmarqu @ktbarrett