Search results

🚨 CI runner pool liveness alert

runner-downCI runner pool livenessCI runner pool liveness

Status: Open.

#751 In pulseengine/rivet;

· github-actions opened on Jul 31, 2026

dev schema has no verification-measure type — the only ones shipped drag in ASPICE's SWE.3 chain

Status: Open.

#748 In pulseengine/rivet;

· avrabe opened on Jul 30, 2026

stpa-yaml parser silently truncates comma-containing scalars at the first element (test-name evidence loss)

Status: Open.

#747 In pulseengine/rivet;

· avrabe opened on Jul 30, 2026

Overlapping sources make every id collide with itself (184 phantom errors masked 6 real); non-deterministic output order breaks report diffing

Status: Open.

#746 In pulseengine/rivet;

· avrabe opened on Jul 30, 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

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