Closed anirrudh closed 1 year ago
This PR adds badges for the github actions to the readme. I'll be merging this in once documentation is reworked.
LGTM, made some changes with @jonzeper.
This PR adds badges for the github actions to the readme. I'll be merging this in once documentation is reworked.