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

docs/runtime: Refresh active toolchain example #1155

Merged
merged 3 commits into from
Oct 7, 2022

Conversation

kostko
Copy link
Member

@kostko kostko commented Oct 7, 2022

No description provided.

@kostko kostko added the c:docs Category: documentation label Oct 7, 2022
@codecov
Copy link

codecov bot commented Oct 7, 2022

Codecov Report

Merging #1155 (e2ba21d) into main (decd83c) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1155   +/-   ##
=======================================
  Coverage   67.86%   67.86%           
=======================================
  Files         131      131           
  Lines       11615    11615           
=======================================
  Hits         7882     7882           
  Misses       3701     3701           
  Partials       32       32           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@kostko kostko force-pushed the kostko/docs/refresh-toolchain branch from 200300b to e2ba21d Compare October 7, 2022 08:24
@kostko kostko merged commit c36a7ee into main Oct 7, 2022
@kostko kostko deleted the kostko/docs/refresh-toolchain branch October 7, 2022 09:08
tjanez pushed a commit to oasisprotocol/cli that referenced this pull request Oct 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c:docs Category: documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant