Skip to content

Add CI workflows for PR test coverage enforcement and Nix builds#30

Merged
gfauredev merged 20 commits intomainfrom
copilot/implement-pull-request-blocking
Feb 11, 2026
Merged

Add CI workflows for PR test coverage enforcement and Nix builds#30
gfauredev merged 20 commits intomainfrom
copilot/implement-pull-request-blocking

Conversation

Copy link
Contributor

Copilot AI commented Feb 10, 2026

Implements automated enforcement of test coverage requirements (100% functions, 90% lines) on PRs to main, and automatic Nix builds on commits to main.

Changes

  • .github/workflows/pr-validation.yml - Blocks PRs failing tests or not meeting coverage thresholds:

    • Runs full test suite via cmake --build build --target tests
    • Generates coverage report with llvm-cov
    • Fails workflow if coverage < 100% functions or < 90% lines
  • .github/workflows/build-main.yml - Builds project on main branch:

    • Uses nix build for reproducible builds
    • Uploads engine binary as artifact (30d retention)

Both workflows use Nix development environment and include explicit contents: read permissions per security best practices.

Original prompt

Met en place :

  • Blocage des pull requests si elles ne respectent pas les conventions de test du code définies dans @README.md
  • Build automatique du projet avec Nix pour les commits sur main

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI and others added 4 commits February 10, 2026 20:51
Co-authored-by: gfauredev <19304085+gfauredev@users.noreply.github.com>
Co-authored-by: gfauredev <19304085+gfauredev@users.noreply.github.com>
Co-authored-by: gfauredev <19304085+gfauredev@users.noreply.github.com>
Co-authored-by: gfauredev <19304085+gfauredev@users.noreply.github.com>
Copilot AI changed the title [WIP] Add pull request blocking based on test conventions Add CI workflows for PR test coverage enforcement and Nix builds Feb 10, 2026
Copilot AI requested a review from gfauredev February 10, 2026 20:56
@gfauredev gfauredev marked this pull request as ready for review February 10, 2026 21:05
@gfauredev gfauredev merged commit 7d4f1e7 into main Feb 11, 2026
1 check passed
@gfauredev gfauredev deleted the copilot/implement-pull-request-blocking branch February 11, 2026 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants