Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .github/workflows/guards-nightly.yml
Original file line number Diff line number Diff line change
Expand Up @@ -192,6 +192,8 @@ jobs:
run: bash scripts/perf_gate.sh --selftest
- name: Book rust examples compile
run: setsid --wait bash scripts/check_book_examples_compile.sh
- name: Harness fixture servers die with their harness (LAB, quarantined from the merge path, #5873)
run: setsid --wait bash scripts/check_harness_server_cleanup.sh
- name: aprender-profile lib tests (was gated by nothing)
run: cargo test -p aprender-profile --lib
- name: model-tests falsification suites (was gated by nothing, aprender#2522) -- SATD ceiling measured on the comparand (BSE-03)
Expand Down
1 change: 0 additions & 1 deletion ci/explicit-test-commands.d/817-harness-server-cleanup.cmd

This file was deleted.

20 changes: 20 additions & 0 deletions docs/roadmaps/entries/PMAT-5873.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
- id: PMAT-5873
github_issue: 5873
item_type: task
title: 'LAB: check_harness_server_cleanup apr-stub row races; quarantine to guards-nightly, then fix'
status: in_progress
priority: high
assigned_to: aprender-w5382
created: 2026-10-21T15:20:00Z
updated: 2026-10-21T15:20:00Z
spec: null
acceptance_criteria:
- 'the check runs in guards-nightly (LAB), not in ci/explicit-test-commands.d'
- 'the apr-stub row no longer races (second PR)'
phases: []
subtasks: []
estimated_effort: null
labels:
- kind:code
notes: null
epic: 5510
20 changes: 20 additions & 0 deletions docs/roadmaps/roadmap.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -25359,3 +25359,23 @@ Not done, pending the ruling: moving the 31 fixture files to an obviously synthe
- kind:code
notes: null
epic: 5510
- id: PMAT-5873
github_issue: 5873
item_type: task
title: 'LAB: check_harness_server_cleanup apr-stub row races; quarantine to guards-nightly, then fix'
status: in_progress
priority: high
assigned_to: aprender-w5382
created: 2026-10-21T15:20:00Z
updated: 2026-10-21T15:20:00Z
spec: null
acceptance_criteria:
- 'the check runs in guards-nightly (LAB), not in ci/explicit-test-commands.d'
- 'the apr-stub row no longer races (second PR)'
phases: []
subtasks: []
estimated_effort: null
labels:
- kind:code
notes: null
epic: 5510
2 changes: 2 additions & 0 deletions scripts/guards_nightly_manifest.txt
Original file line number Diff line number Diff line change
Expand Up @@ -49,3 +49,5 @@
# #4709 (C303): the pv census ratchet, LAB from its first night (never on a PR path, C324).
# Seconds are a local wall-clock sample (2026-10-14, pv prebuilt); the first nightly replaces them.
6 The pv census bound share may only rise (#4709)
# #5873: the harness fixture-server cleanup check, quarantined from ci/explicit-test-commands.d/817 (its apr-stub row races); LAB, never on a PR path (C324).
60 Harness fixture servers die with their harness (LAB, quarantined from the merge path, #5873)
Loading