Skip to content

Migrated badge from Travis to Github Actions.#6

Merged
EranBoudjnah merged 2 commits intomasterfrom change_test_badgeNov 10, 2023