README.md: Build Status Badge Codeship => Jenkins

kframework / k-legacy

The K tools (deprecated, see README)

http://kframework.org

Other

146 stars 61 forks source link

README.md: Build Status Badge Codeship => Jenkins #2370

Open msaxena2 opened 6 years ago

ehildenb commented 6 years ago

rebased on master, if tests pass I'm going to merge. @msaxena2 is that ok?

ehildenb commented 6 years ago

@msaxena2 actually, it looks like you're trying for an image in the repository, but as far as I can tell, it's just showing up as a link (switch to build_badge branch in the Github repo and see what it looks like). Is that intended?

msaxena2 commented 6 years ago

@ehildenb No, it should show up as an actual "passing/failing" badge. If the reason is the self signed certificate, then I can try using one of the solutions mentioned on slack to get the badge displayed.

msaxena2 commented 6 years ago

test this please

nishantjr commented 6 years ago

Sorry, the http just redirects to https so that's not going to work