This repository was archived by the owner on Sep 6, 2022. It is now read-only.

Improve CI badge in README#137

Merged

inelgnu merged 1 commit intomasterfrom

AurelienGasser-patch-1

Jan 12, 2021

Commits on Jan 12, 2021

Improve CI badge in README
Aurélien Gasser
authored