Issues

• CI: approve_and_label echoue sur TOUTES les PRs (app_id absent) et une action tierce @main casse build/Package

  MyIntelligenceAgency/Z3.Linq#41 · Filter by author jsboige opened on Oct 24, 2026
  1

• Rational theorem members are not first-class real symbols -- NRE on constraint and on materialization

  MyIntelligenceAgency/Z3.Linq#39 · Filter by author jsboige opened on Oct 23, 2026
  1

• Model materialization gaps at 8a2562d: repo demo crashes on its own ValueTuple section; anonymous double members not dispatched

  MyIntelligenceAgency/Z3.Linq#35 · Filter by author jsboige opened on Oct 23, 2026
  2

• CI: pull_request trigger declared but never fires - PRs get no checks (all 6 runs are workflow_dispatch)

  MyIntelligenceAgency/Z3.Linq#30 · Filter by author jsboige opened on Sep 15, 2026
  1

• Rien ne relie une modif de solutions/Z3.Linq/** a une reconstruction de .deploy/ — le correctif n'atteint pas les consommateurs

  MyIntelligenceAgency/Z3.Linq#28 · Filter by author jsboige opened on Sep 4, 2026
  1

• CI inerte : 0 run depuis toujours (3 workflows actifs, Actions enabled) — #20 afficherait CLEAN sans avoir jamais compile

  MyIntelligenceAgency/Z3.Linq#23 · Filter by author jsboige opened on Aug 14, 2026
  1