Skip to content
This repository has been archived by the owner on Jun 26, 2020. It is now read-only.

Update build badge #1264

Merged
merged 1 commit into from Dec 2, 2019
Merged

Conversation

abrown
Copy link
Collaborator

@abrown abrown commented Dec 2, 2019

  • This has not been discussed in an issue.
  • A short description of what this does, why it is needed: see title.
  • This PR contains no test cases.
  • A reviewer from the core maintainer team has been assigned for this PR.

It occurred to me that perhaps we would also like to update the docs badge to something like

[![Documentation Status](https://docs.rs/cranelift/badge.svg)](https://docs.rs/cranelift)

Documentation Status

I did not include this change in this commit, however, becaue it involves some decision-making about if and when the readthedocs documentation should be abandoned. I seem to remember some discussion on this but cannot recall the issue.

@abrown abrown requested a review from bnjbvr December 2, 2019 19:26
Copy link
Member

@tschneidereit tschneidereit left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense!

Can you file an issue about the docs status, so it doesn't get lost?

@tschneidereit tschneidereit merged commit 2885d6b into bytecodealliance:master Dec 2, 2019
@abrown abrown deleted the update-badge branch December 2, 2019 20:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants