ci: scope firecracker backend to integration coverage

This commit is contained in:
2026-07-18 21:43:43 +00:00
committed by didericis
parent 58e450e61f
commit 54589b1cc2
2 changed files with 3 additions and 3 deletions
+1 -2
View File
@@ -131,6 +131,7 @@ jobs:
# See #414 for the planned follow-up: artifact-based coverage combination
# (run tests once in their respective jobs, combine .coverage files here).
coverage:
timeout-minutes: 15
runs-on: [self-hosted, kvm]
if: >-
github.event_name == 'push' ||
@@ -157,8 +158,6 @@ jobs:
# module to install into anyway. `scripts/coverage.sh` +
# `diff_coverage.py` need only `coverage` (not pylint/pyright).
- name: Combined coverage (unit + integration, incl. firecracker)
env:
BOT_BOTTLE_BACKEND: firecracker
run: PYTHON=python3 bash scripts/coverage.sh critical
- name: Diff-coverage gate (changed lines >= 90%)