Skip to content

issues Search Results · language:Edge language:Python language:JavaScript language:JavaScript language:Python language:Java

Filter by

55.4M results  (873 ms)

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
Issue origami icon

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 Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

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 Issues
ProTip! Restrict your search to the title by using the in:title qualifier.