update to [email protected] (#316)

JuliaCI · Dec 5, 2023 · 326b7af · 326b7af
1 parent 0ec1eda
commit 326b7af
Show file tree

Hide file tree

Showing 4 changed files with 59,298 additions and 12 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,2 @@
+etc/params.json linguist-generated=true
+Manifest.toml linguist-generated=true
diff --git a/Manifest.toml b/Manifest.toml
diff --git a/Project.toml b/Project.toml
@@ -16,7 +16,7 @@ StableRNGs = "860ef19b-820b-49d6-a774-d7a799459cd3"
 Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
 
 [compat]
-BenchmarkTools = "1"
+BenchmarkTools = "1.4"
 StableRNGs = "1"
 julia = "1.6"
 

diff --git a/etc/params.json b/etc/params.json