chore: include manifest & proof in `make gen`; add extra proof types #17

Sign in to view logs

Summary
Jobs
- All
Run details
- Usage
- Workflow file

Triggered via pull request July 15, 2024 00:48

rvagg

synchronize #288

rvagg/proofs-gen

Status Success

Total duration 55s

Artifacts –

go-check.yml

on: pull_request