issues Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:JavaScript
Filter by
40.8M results
Some Makefiles use Procfile and some use Dockerfile to deploy.
The Dockerfiles are using Python 3.12 but most (if not all) of the code can run with Python 3.14. Update to Python 3.14,
potentially simplify ...
bug
infrastructure
Hi,
We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing
machine-verified mathematical contracts for computational biology.
Given masif s work on ...
Purpose
bandit (pre-commit) scans our code for security issues, but nothing scans dependencies for known CVEs. Add pip-audit so
vulnerable transitive deps are surfaced.
Dependencies
- Best after #103 ...
domain:ci
priority:p3
risk:security
type:ci
Problem
For every /api/v1/lookup request, apple_music_url should be non-null whenever Apple Music has the album — independent of
whether the album has a row in library.db. Today the URL is null for many ...
Breaking move. get_clipboard/set_clipboard currently sit on PublicWidgetBase (every widget), but the clipboard is global
— they should live in one app-scoped home (a lean bootstack.clipboard module).
...
Purpose
__version__ is hand-managed and frozen; the upcoming default-metric flip (#90) is the first deliberate bump
(0.0.1→0.1.0). Add a CHANGELOG.md and a light release/version protocol so behavioral ...
domain:docs
priority:p3
type:docs
Breaking removal. show_indicator= is too niche (only useful paired with on_icon/off_icon); flagged for removal by the
maintainer 2026-06-08.
Scope spans the wrappers, the internal primitives, the checkbutton/radiobutton ...
Hi,
We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing
machine-verified mathematical contracts for computational biology.
Given cancervariants.org ...
Bug
Zaklęcie Rana Uleczona (mend_wounds, spell_type= heal ) rzucone jako akcja w walce zadaje obrażenia i zabiło przeciwnika
zamiast uleczyć bohatera. Dotyczy też innych nie-atakujących czarów (defense ...
bug
needs-testing
Summary
In the GitHub OIDC login flow, _resolve_github_email returns the user s primary verified email from GET /user/emails —
but on any miss it falls back to GET /user and returns that endpoint s email ...

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.