search

martinruefenacht / lemonspotter

MPI Test Generation Framework
MIT License
1 stars 0 forks source link

Fix Broken CI Badge #49

Open carsonwoods opened 2 years ago

carsonwoods commented 2 years ago

Just a very quick change to use the CI badge from the Github Actions CI pipline instead of the old Travis CI pipeline.