Fix the CI build

There is a warning for unavailable Adw.ToolbarView on macOS, which is incorrect (the gir files used by gir.core seem to be outdated on macOS). This does not affect formatting so is okay for now

.github/workflows/build.yml

@@ -55,7 +55,8 @@ jobs:
     - name: Test
       run: make test
     - name: Verify code formatting
-      run: dotnet format --no-restore --verify-no-changes
+      # Ignore warning CA1416 for unavailable platform-specific code, since this is unrelated to formatting.
+      run: dotnet format --no-restore --verify-no-changes --exclude-diagnostics CA1416
     - name: Test Install
       run: make install
     - name: Build Installer