Skip to content

Commit

Permalink
chore: include manifest & proof in make gen; add extra proof types
Browse files Browse the repository at this point in the history
  • Loading branch information
rvagg committed Jul 15, 2024
1 parent 9d1dc56 commit 07a2695
Show file tree
Hide file tree
Showing 3 changed files with 1,022 additions and 358 deletions.
1 change: 1 addition & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ tidy:
gen:
$(GO_BIN) run ./gen/gen.go
$(GO_BIN) run ./manifest/gen/gen.go
$(GO_BIN) run ./proof/gen/gen.go
$(GO_BIN) run ./builtin/v8/gen/gen.go
$(GO_BIN) run ./builtin/v9/gen/gen.go
$(GO_BIN) run ./builtin/v10/gen/gen.go
Expand Down
Loading

0 comments on commit 07a2695

Please sign in to comment.