Merge pull request #239 from ibi-group/upstream-merge-2024-12-02

Upstream merge 2024-12-02
ibi-group · Dec 2, 2024 · 5f776ef · 5f776ef
2 parents b280d88 + e3315aa
commit 5f776ef
Show file tree

Hide file tree

Showing 383 changed files with 17,020 additions and 12,148 deletions.
diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
@@ -12,3 +12,6 @@
 
 # Make OTP a multi-module project
 ead33ffe280dd7caf72cae5ff7a41542e8427636
+
+# json file reformatting with prettier
+c287575df6798810a69fafc54c8c4e1867b71367