Search results

🚨 CI runner pool liveness alert

runner-downCI runner pool livenessCI runner pool liveness

Status: Open.

#696 In pulseengine/rivet;

· github-actions opened on Jul 12, 2026

Certified feature-model / variant consistency via ordeal's SAT core (EU AI Act evidence)

Status: Open.

#693 In pulseengine/rivet;

· avrabe opened on Jul 11, 2026

rivet modify --set-field writes colon-space (and other) values UNQUOTED → invalid YAML → whole file silently skipped

Status: Open.

#687 In pulseengine/rivet;

· avrabe opened on Jul 11, 2026

CI: self-hosted runner disk exhaustion fails all compile gates; post-job cleanup hook frees nothing

Status: Open.

#567 In pulseengine/rivet;

· avrabe opened on Jun 23, 2026

Release standard: add crates.io publishing (currently npm-only)

release-standardOrg-wide release-consistency campaign (five-track standard); coordinate at pulseengine.eu#98Org-wide release-consistency campaign (five-track standard); coordinate at pulseengine.eu#98

Status: Open.

#557 In pulseengine/rivet;

· avrabe opened on Jun 22, 2026

okf

Status: Open.

#549 In pulseengine/rivet;

· avrabe opened on Jun 19, 2026

rivet vsix

Status: Open.

#546 In pulseengine/rivet;

· avrabe opened on Jun 19, 2026

CI has a single point of failure: when the self-hosted runner pool goes offline, every gate queues forever with no fallback and no liveness alert

Status: Open.

#509 In pulseengine/rivet;

· avrabe opened on Jun 6, 2026

research lead: autoformalize NL requirements → Lean with proved ↔-equivalence as cert evidence

Status: Open.

#508 In pulseengine/rivet;

· avrabe opened on Jun 6, 2026

AADL diagrams stuck on 'Loading…' in static HTML export (compliance reports) — inline SVG at export time

Status: Open.

#468 In pulseengine/rivet;

· avrabe opened on Jun 4, 2026

ci(release): highs-sys WASI cross-compile fails — root-cause + restore test-evidence as required

Status: Open.

#293 In pulseengine/rivet;

· avrabe opened on May 16, 2026

Tracking: pulseengine-wide V&V coverage initiative

Status: Open.

#184 In pulseengine/rivet;

· avrabe opened on Apr 22, 2026