Merge branch 'main' into for-lowering

lambdaclass · Apr 17, 2024 · 39718ec · 39718ec
2 parents bb9e24c + 53cddd9
commit 39718ec
Show file tree

Hide file tree

Showing 30 changed files with 1,789 additions and 640 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -111,7 +111,7 @@ jobs:
             - name: Upload coverage to Codecov
               uses: codecov/codecov-action@v3
               with:
-                #token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos
+                token: ${{ secrets.CODECOV_TOKEN }}
                 files: lcov.info
                 fail_ci_if_error: true
     bench: