Merge branch 'master' into gnokey/data-newline

gnolang · Oct 31, 2024 · 0742803 · 0742803
2 parents 91452a5 + 2873354
commit 0742803
Show file tree

Hide file tree

Showing 759 changed files with 31,143 additions and 18,080 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"