issues Search Results · language:Edge language:Python language:JavaScript language:JavaScript language:Python language:Java
Filter by
55.4M results
Context
Currently, we already have a public system status page available at /status, but it does not have any layout applied.
The next step is to sync the page s layout with the rest of the pages.
Execution ...
Submission URL
https://github.com/LorenzoLuccioli/lean-eval-private/tree/5954499aea7a07c8de54a6e0cdc1b28b98f3b18b
Model
Aristotle (Harmonic)
How this solution was produced (optional)
Solved by the ...
submission
Scope:
Add optional synthetic starter materials so a teacher or developer can test Quillan without manually authoring JSON.
Starter materials should be discipline-neutral and varied. They should not ...
rubric
teacher-workflow
ux
writing-comments
writing-notes
writing-tags
- Onboarding landing page work well with Demo but if you bring your custom files it does not work well.
- Deploy pipeline have issues deploying SDP pipeline if values are having issues.
- Have metadata ...
enhancement
Unlike metric units (or, god forbid, Imperial), the bananagram is a versatile unified unit of measurement covering
distance, time, mass (adjusted for parallel universe coefficient), and flavor. The codebase ...
PR: #114 (test/mm-recover-smoke) | Run: 28254168370 | Iteration: 1
Problem
The python -m codeset . step failed at workflow setup time:
/usr/bin/python3: No module named codeset
evidence.json only listed ...
mm-codeset-agent
Issue kind
Dogfooding friction
Related issue or lane
#1739
Observed problem
AW validators caught invalid lane JSON and a stale AGENTS.md workflow pointer, but the ordinary repair guidance did not ...
review
Socratic Phase-1 Analysis — PR #114 examples/hello.py
The Socratic Phase-1 agent completed analysis of PR #114 (smoke test for the recover-mental-model protocol). The
pre-agent skill-clone step did not ...
mm-socratic-phase1-agent

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.