Fix the CI badge

[bbatsov]

It was still pointing to Travis and now the project uses GitHub Actions.

[mattiase]

Remove the old Travis badge as well?

[bbatsov]

@mattiase My bad! It's removed now.

[mattiase]

Fine, thanks (but someone else needs to merge).

[bbatsov]

Guess so.

[monnier]

@mattiase My bad! It's removed now.

LGTM except the patch also removes trailing double spaces, which are needed for proper rendering (they're hard-linebreaks, and there's actually one missing at the end of the sample.ml line).

[bbatsov]

@monnier Would you be ok with turning this to a listing, as suggested in the commit that I added? (that's how this is normally done in Markdown, as using trailing indentation for line breaks is super brittle)

[monnier]

@monnier Would you be ok with turning this to a listing, as suggested in the commit that I added? (that's how this is normally done in Markdown, as using trailing indentation for line breaks is super brittle)

I don't have much opinion about that (I like trailing whitespace about as much as I like the extra bullets with the new syntax), so I merged your change, thanks.

[bbatsov]

@monnier Btw, it seems the PR is still open.

[monnier]

@monnier Btw, it seems the PR is still open.

Duh! Pushed to the wrong place, thanks.

[bbatsov]

Thanks! 🙇‍♂️