chore: include manifest & proof in make gen; add extra proof types
#18
Annotations
10 errors and 1 warning
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This job succeeded
Loading