Merge branch 'master' into add_kazai_gnolotto

gnolang · Oct 31, 2024 · 63d4d90 · 63d4d90
2 parents db4c8c4 + 8ec556e
commit 63d4d90
Show file tree

Hide file tree

Showing 795 changed files with 34,340 additions and 19,063 deletions.
diff --git a/.benchmarks/README.md b/.benchmarks/README.md
diff --git a/.benchmarks/gobenchdata-checks.yml b/.benchmarks/gobenchdata-checks.yml
diff --git a/.dockerignore b/.dockerignore
@@ -1,7 +1,9 @@
 .dockerignore
 build/
 Dockerfile
-misc/
+misc/*
+!misc/loop/
+!misc/autocounterd/
 docker-compose.yml
 tests/docker-integration/
 

diff --git a/.gitattributes b/.gitattributes
@@ -1,5 +1,5 @@
 *.gno linguist-language=Go
 *.pb.go linguist-generated merge=ours -diff
 go.sum linguist-generated text
-gnovm/stdlibs/native.go linguist-generated
-gnovm/tests/stdlibs/native.go linguist-generated
+gnovm/stdlibs/generated.go linguist-generated
+gnovm/tests/stdlibs/generated.go linguist-generated
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
diff --git a/.github/codecov.yml b/.github/codecov.yml
@@ -39,3 +39,8 @@ flag_management:
       - type: patch
         target: auto # Let's decrease this later.
         threshold: 10
+
+ignore:
+  - "gnovm/stdlibs/generated.go"
+  - "gnovm/tests/stdlibs/generated.go"
+  - "**/*.pb.go"