ed255 / riscu-jolt

RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
23 stars 1 forks source link

Add github actions #27

Closed ed255 closed 1 year ago

ed255 commented 1 year ago

Add the following github actions:

Integration tests require some riscu programs that are built as part of a setup step. To separate them from normal unit tests they are marked as ignore and have the prefix integration_.

Since I added the clippy linter, I fixed the complainants so that the lint passes.

Resolve #28