Merge branch 'develop' into pariell

sagemath · Jun 4, 2023 · 0f8b28a · 0f8b28a
2 parents 3ff268a + 2f426a1
commit 0f8b28a
Show file tree

Hide file tree

Showing 348 changed files with 6,652 additions and 4,425 deletions.
diff --git a/.codecov.yml b/.codecov.yml
@@ -11,6 +11,7 @@ coverage:
         target: auto
         threshold: 0%
         base: auto
+        informational: true
     patch:
       default:
         target: auto