diff update_manifest.jl @ 1854:654a2b7e6824 tooling/benchmarks

Merge default
author Jonatan Werpers <jonatan@werpers.com>
date Sat, 11 Jan 2025 10:19:47 +0100
parents 61422abd17a4
children 608a24a7b13b
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/update_manifest.jl	Sat Jan 11 10:19:47 2025 +0100
@@ -0,0 +1,12 @@
+using Pkg
+
+function update_directory(d)
+    Pkg.activate(d)
+    Pkg.update()
+    println()
+end
+
+update_directory(".")
+update_directory("benchmark")
+update_directory("docs")
+update_directory("test")