merge origin/develop

spiraldb · Mar 20, 2024 · e6636b7 · e6636b7
1 parent f4cc69f
commit e6636b7
Show file tree

Hide file tree

Showing 139 changed files with 3,497 additions and 3,910 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,8 +3,7 @@ name: CI
 on:
   push:
     branches: [ "develop" ]
-  pull_request:
-    branches: [ "develop" ]
+  pull_request: { }
   workflow_dispatch: { }
 
 permissions: