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

Add link to Gitpod with latest released version to docs #2213

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

cmarqu
Copy link
Contributor

@cmarqu cmarqu commented Nov 21, 2020

No description provided.

@cmarqu cmarqu added the category:docs documentation issues and fixes label Nov 21, 2020
@codecov
Copy link

codecov bot commented Nov 21, 2020

Codecov Report

Merging #2213 (4142f94) into master (03a1dc7) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #2213   +/-   ##
=======================================
  Coverage   64.70%   64.70%           
=======================================
  Files          34       34           
  Lines        4771     4771           
  Branches      822      822           
=======================================
  Hits         3087     3087           
  Misses       1374     1374           
  Partials      310      310           
Impacted Files Coverage Δ
cocotb/triggers.py 88.47% <0.00%> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 03a1dc7...4142f94. Read the comment docs.

@cmarqu cmarqu force-pushed the doc-add-gitpod-link branch 12 times, most recently from 09c6e65 to a49237b Compare November 21, 2020 22:38
@cmarqu cmarqu force-pushed the doc-add-gitpod-link branch from a49237b to 4142f94 Compare November 21, 2020 23:05
@cmarqu
Copy link
Contributor Author

cmarqu commented Nov 22, 2020

For some reason, what looks fine locally for me (a link with "Gitpod" as the text) doesn't render nicely in RTD.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:docs documentation issues and fixes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant