Merge remote-tracking branch 'origin/matthias/plane' into matthias/plane

.github/dependabot.yml

@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: "cargo"
+    directories: ["/", "/examples"]
+    schedule:
+      interval: "weekly"

.github/workflows/integration.yml

@@ -10,7 +10,7 @@ on:
 
 jobs:
   skip_check:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     outputs:
       should_skip: ${{ steps.skip_check.outputs.should_skip }}
     steps:
@@ -30,7 +30,7 @@ jobs:
 
     name: Integration testing
     timeout-minutes: 30
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
 
     strategy:
       matrix:

.github/workflows/lints.yml

@@ -10,7 +10,7 @@ on:
 
 jobs:
   skip_check:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     outputs:
       should_skip: ${{ steps.skip_check.outputs.should_skip }}
     steps:
@@ -30,7 +30,7 @@ jobs:
 
     name: Various lints
     timeout-minutes: 30
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
 
     strategy:
       matrix:
@@ -77,3 +77,8 @@ jobs:
           cargo make clippy
           # Same for clippy:
           cargo clippy --workspace --all-targets --exclude ceno_rt --release
+
+      - name: Install taplo
+        run: taplo --version || cargo install taplo-cli
+      - name: Run taplo
+        run: taplo fmt --check --diff

.github/workflows/tests.yml

@@ -10,7 +10,7 @@ on:
 
 jobs:
   skip_check:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     outputs:
       should_skip: ${{ steps.skip_check.outputs.should_skip }}
     steps:
@@ -29,7 +29,7 @@ jobs:
       (github.event.action == 'ready_for_review' || needs.skip_check.outputs.should_skip != 'true')
     name: Run Tests
     timeout-minutes: 30
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
 
     strategy:
       matrix:

.gitignore

@@ -4,3 +4,4 @@ target
 log.txt
 logs/
 table_cache_dev_*
+.DS_Store