merge master

2022-12-20 20:48:28 -06:00
1 parent 67921cacc3
commit e5a5850354
@@ -104,7 +104,7 @@ jobs:
      - uses: actions-rs/cargo@v1
        with:
          command: clippy
-          args: -- -D warnings
+          args: --workspace -- -D warnings

  # Coverage is disabled until we can fix it
  # coverage: