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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
go-test / ubuntu (go this)	1m 13s
go-test / ubuntu (go next)	1m 29s
go-test / windows (go this)	34s
go-test / windows (go next)	32s
go-test / macos (go this)	42s
go-test / macos (go next)	50s
	5m 20s