Merge main into add-hir

.github/workflows/CI.yml

@@ -32,8 +32,14 @@ jobs:
         with:
           prefix-key: 'v0-rust-2'
 
-      - name: Run test suite
+        # `wayland` requires an extra dependecy that's not installed by default
+        # on the runner. Avoid using that feature for ubuntu CI
+      - name: Run test suite (ubuntu)
+        if: matrix.os == 'ubuntu-latest'
         run: cargo test --workspace --no-default-features --features x11
+      - name: Run test suite (non-ubuntu)
+        if: matrix.os != 'ubuntu-latest'
+        run: cargo test --workspace
 
   lint:
     runs-on: ubuntu-latest

.github/workflows/coverage.yml

@@ -0,0 +1,29 @@
+on:
+  pull_request:
+  push:
+    branches:
+    - main
+
+name: codecov
+
+jobs:
+  coverage:
+    runs-on: ubuntu-latest
+    env:
+      CARGO_TERM_COLOR: always
+    steps:
+      - uses: actions/checkout@v4
+      - name: Setup toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly-2024-10-20
+          components: llvm-tools-preview
+      - name: Install cargo-llvm-cov
+        uses: taiki-e/install-action@cargo-llvm-cov
+      - name: Generate code coverage
+        run: cargo llvm-cov --lcov --no-default-features --features x11 --output-path lcov.info
+
+      - name: Upload coverage report to Codecov
+        uses: codecov/codecov-action@v5.4.0
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}