Closed martskins closed 3 years ago
This PR disables the ci github action as it's running essentially the same we're running in circleci, the ci target in the makefile.
ci
This PR disables the ci github action as it's running essentially the same we're running in circleci, the
ci
target in the makefile.