From 6cf140dd0aa37278de9faa1d360c4a122cb4fae3 Mon Sep 17 00:00:00 2001
From: Nathanael Bosch <nathanael.bosch@uni-tuebingen.de>
Date: Mon, 30 Oct 2023 12:01:23 +0100
Subject: [PATCH] Add `justfile` to use `just`

---
 justfile | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 justfile

diff --git a/justfile b/justfile
new file mode 100644
index 000000000..45a7ed13e
--- /dev/null
+++ b/justfile
@@ -0,0 +1,17 @@
+default:
+    just --list
+
+format:
+    julia -e 'using JuliaFormatter; format(".")'
+
+docs:
+    julia --project=docs docs/make.jl
+
+servedocs:
+    julia --project=docs -e 'using LiveServer; serve(dir="docs/build")'
+
+servedocs-continuously:
+    julia --project=docs -e 'using ProbNumDiffEq, LiveServer; servedocs()'
+
+benchmark:
+    julia --project=benchmarks -e 'include("benchmarks/runall.jl")'