Integrate fast-check with GitHub Actions for Automated PBT and Issue Creation on Test Failures

[kamiazya]

Description

To enhance our code quality and streamline the bug detection process, we aim to integrate fast-check for Property-Based Testing (PBT) with GitHub Actions. This integration will facilitate automated testing on each push to the main branch and scheduled intervals. Furthermore, in case of test failures, an issue should be automatically created to track and address the detected bugs promptly.

Tasks

• Configure GitHub Actions Workflow: Create a .github/workflows/xxx.yml file to define the workflow. This workflow should:

  • Trigger on push to main and on a scheduled basis (e.g., daily at 3 AM UTC).
  • Set up the environment, install dependencies, and execute the tests using fast-check.

• Automate Issue Creation on Test Failures: In the GitHub Actions workflow, automatically create an issue when a test fails. The issue should contain relevant details about the test failure to facilitate debugging and resolution.

• Create an Issue Template: Develop a template to standardize the format and content of automatically created issues. The template should include sections for a descriptive title, relevant labels (e.g., bug, automated issue), and a detailed description of the test failure.