Merge pull request #37 from ajfAfg/accelerate-github-actions-workflow #120
demo.yml
on: push
demo_with_polynomial_time_without_correctness
4m 15s
demo_with_exp_time_with_correctness
3m 40s