scroll-tech / ceno-recursion

1 stars 0 forks source link

Add a script to manually compile and run tests #33

Closed matthiasgoergens closed 5 days ago

matthiasgoergens commented 5 days ago

You can use this script to locally check some aspects of your PR before merging it. We will later build the CI/CD around something like it.