Merge branch 'main' into redsun82/rust

github · Feb 20, 2025 · 3971ed2 · 3971ed2
2 parents c9ebc3b + d38c6e6
commit 3971ed2
Show file tree

Hide file tree

Showing 1,229 changed files with 161,004 additions and 16 deletions.
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -16,5 +16,5 @@ repos:
         name: Synchronize PR check workflows
         files: ^.github/workflows/__.*\.yml$|^pr-checks
         language: system
-        entry: python3 pr-checks/sync.py
+        entry: pr-checks/sync.sh
         pass_filenames: false
diff --git a/justfile b/justfile
@@ -0,0 +1,10 @@
+# Sync generated files (javascript and PR checks)
+sync: build update-pr-checks
+
+# Perform all necessary steps to update the PR checks
+update-pr-checks:
+    pr-checks/sync.sh
+
+# Transpile typescript code into javascript
+build:
+    npm run build
diff --git a/lib/analyze.js b/lib/analyze.js
diff --git a/lib/analyze.js.map b/lib/analyze.js.map
diff --git a/lib/diff-filtering-utils.js b/lib/diff-filtering-utils.js
diff --git a/lib/diff-filtering-utils.js.map b/lib/diff-filtering-utils.js.map
diff --git a/lib/upload-lib.js b/lib/upload-lib.js
diff --git a/lib/upload-lib.js.map b/lib/upload-lib.js.map
diff --git a/lib/util.js.map b/lib/util.js.map