Refactoring.

.github/workflows/ci-on-demand.yml → .github/workflows/ci-nightly.yml

@@ -1,11 +1,13 @@
 #
-# This workflow is triggered on-demand to run all the tests with the code coverage enabled and using the self-hosted GitHub runner.
+# This workflow is triggered by scheduler or on-demand to run all the tests with the code coverage enabled and using the self-hosted GitHub runner.
 # Test coverage report is attached to the current job execution results in a form of Zip archive.
 #
 
-name: On-demand tests with the code coverage
+name: Nightly tests with the code coverage
 
 on:
+  schedule:
+    - cron: "0 0 * * *" # every day at midnight
   workflow_dispatch: {}
 
 env:

.github/workflows/ci.yml

@@ -157,6 +157,7 @@ jobs:
           make install-test-deps
 
       - name: Run non-heavy tests without the code coverage
+        if: ${{ matrix.rust_toolchain_version != env.RUST_TOOLCHAIN_COVERAGE_VERSION }}
         run: |
           eval $(opam env)
           make nextest

README.md

@@ -82,8 +82,8 @@ You can visualize the documentation by opening the file `target/doc/index.html`.
 
 - [CI](.github/workflows/ci.yml).  
   This workflow ensures that the entire project builds correctly, adheres to guidelines, and passes all necessary tests.
-- [On-demand tests with the code coverage](.github/workflows/ci-on-demand.yml).  
-  This workflow runs all the tests on demand, generates and attaches the code coverage report to job execution results.
+- [Nightly tests with the code coverage](.github/workflows/ci-nightly.yml).  
+  This workflow runs all the tests per scheduler or on-demand, generates and attaches the code coverage report to the job's execution results.
 - [Benchmarks](.github/workflows/benches.yml).  
   This workflow runs benchmarks when a pull request is labeled with "benchmark." It sets up the Rust and OCaml environments, installs necessary tools, and executes cargo criterion benchmarks on the kimchi crate. The benchmark results are then posted as a comment on the pull request for review.
 - [Deploy Specifications & Docs to GitHub Pages](.github/workflows/gh-page.yml).