Merge pull request #10 from yimingyinqwqq/feat/json-handler

ci: fix copyright and clippy check

Author: yimingyinqwqq

kani-driver/src/frontend/tests/mod.rs

@@ -1,9 +1,9 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 
-/// Tests for the frontend module
-/// This module contains tests for the schema_utils module
-/// and the json_handler module
+//! Tests for the frontend module
+//! This module contains tests for the schema_utils module
+//! and the json_handler module
 
 #[cfg(test)]
 mod schema_utils_test;

scripts/ci/copyright-exclude

@@ -1,6 +1,7 @@
 .clang-format
 .diff
 .ico
+.json
 .md
 .png
 .props