pullrequests Search Results · language:Dune language:Python language:TypeScript language:Python language:TypeScript language:Java
Filter by
167M results
I have standardized the project structure by moving all routes to app/routes/ and removing the app/api/ directory. I
also integrated real services, specifically using Gemini for the LLMService and LocalDB ...
Godsent0001
pudoArjunKrooksML
Summary
- AXIOM kind badge in proof-library board
- build-library: li_axiom_symbol mapping, skip witness_stub snippets
Test plan
- [ ] LIC_ROOT=../lic python3 scripts/build-library.py
cap-jmk-real
This PR contains the following updates:
| Package | Update | Change |
| --- | --- | --- |
| couchdb | minor | 3.3 → 3.5 |
[!WARNING] Some dependencies could not be looked up. Check the Dependency Dashboard ...
renovate
renovate[bot]
VitRodSummary
- Add fixed MethodPlan compilation behind explicit frontmatter plan_mode: fixed.
- Support flat step metadata via steps, step_titles, and step_guidance.
- Preserve existing single_turn compilation ...
zhnt
Automate pnpm audit --fix on a schedule and open PRs for lockfile and manifest updates.
yu-iskw
PostgreSQL - Transactions Exercises
noobpingui
Se eliminaron eliminado de duplicados en las imágenes, ya que habían destinos con la misma imagen, lo cuál no es bueno
para la experiencia del usuario.
Jooordan67