Search results

[Improvements] Multiple sessions not end when main SageFs exit (win 11)

Status: Open.

#126 In WillEhrendreich/SageFs;

· Sorrow-Scarlet opened on Jun 1, 2026

Keeps opening the same project

Status: Open.

#125 In WillEhrendreich/SageFs;

· halcwb opened on May 20, 2026

[aw] Repo Assist failed

agentic-workflows

Status: Open.

#124 In WillEhrendreich/SageFs;

· github-actions opened on May 14, 2026

[aw] Lean Squad failed

agentic-workflows

Status: Open.

#122 In WillEhrendreich/SageFs;

· github-actions opened on May 13, 2026

[Repo Assist] Monthly Activity 2026-05

automation

documentationImprovements or additions to documentationImprovements or additions to documentation

repo-assist

Status: Open.

#119 In WillEhrendreich/SageFs;

· github-actions opened on May 12, 2026

[Lean Squad] Formal Verification Status

aeneas-bug

automation

lean-squad

Status: Open.

#118 In WillEhrendreich/SageFs;

· github-actions opened on May 12, 2026