chore: include manifest & proof in make gen; add extra proof types
#13
| Job | Run time |
|---|---|
| 10s | |
| 10s |
make gen; add extra proof types
#13
| Job | Run time |
|---|---|
| 10s | |
| 10s |