issues Search Results · language:Dune language:Python language:JavaScript linked:pr language:JavaScript
Filter by
4.4M results
Objective
Publish the v1.2.3 patch release for the workflow ship-assessment provenance fix.
Deliverable
Update release metadata, changelog, public install snippets, and website release text to 1.2.3, ...
keel:ship
berkayturanci
Track the initial public documentation pass for Universal Decoder: overview, supported formats, and contribution
guidance.
humuraelvin
Summary
on_block advances store.latest_finalized by an independent monotonic max over every imported block s post-state,
decoupled from store.latest_justified and the head:
# src/lean_spec/spec/forks/lstar/fork_choice.py ...
GrapeBaBa
Goal (user)
Dans le XPI et les métriques, afficher le favicon des sites majeurs plutôt que les IP.
Use the existing server-side proxy GET /social/favicon/{domain} (7-day cached PNG, transparent fallback) ...
gkerma
Problem
The talos-upgrade workflow has been failing since ~2026-06-12, leaving the whole cluster stuck on Talos v1.13.2 (target
v1.13.4) and blocking the #2338 worker memory-arg rollout.
Root cause (confirmed ...
jameskazie
Objective
Resolve review blocker B1: the financial write path has no runtime-privilege decision, and the gap blocks M5 settlement
and M6 admin finance. Today app_runtime is granted SELECT on 7 product ...
area:billing
documentation
priority:p0
risk:medium
work-pack
Archii-Coder
Summary
When previewing a hardwork plan via the select menu dropdown, the embed shows only the first 1500 characters of the plan
as plain text. Unlike the normal plan flow (postPlan()), there is no clickable ...
sshbot
AMZ-jpcslr
This issue is created automatically to track contribution activity.
Updation
PareekshithPalat
Bug
tests/test_export.py and tests/test_normalizer.py imported the live application engine from backend.db.session and ran
Base.metadata.create_all(engine) / drop_all(engine) in an autouse fixture.
Because ...
danialo
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.
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.