Open chris-nee opened 1 year ago
Currently, in our github workflow, we are building benchmarks files as well. We should be able to skip that step in github workflow, so we can finish the workflow more quickly.
Currently, in our github workflow, we are building benchmarks files as well. We should be able to skip that step in github workflow, so we can finish the workflow more quickly.