issues Search Results · language:Edge language:Python language:JavaScript language:JavaScript language:JavaScript is:public
Filter by
40.8M results
Summary
#552 generalised the @Nat = 0 invariant obligation to binding sites where an @Int value narrows into a @Nat slot,
covering let, call arguments, constructor fields, top-level match binds, and literal-tuple ...
limitation
verification
aallan
Spike
Investigate adding support for a Django search backend/app, to replace or augment the current icontains filtering in
LibraryView.get_queryset() (title/author substring match only — no ranking, no ...
spike
rubeon
stores.e2e.test.ts, parser.e2e.test.ts, dispatch.e2e.test.ts covering 43 assertions
sanskarpan
Summary
User refinement-type predicates (e.g. type PosInt = { @Int | @Int.0 0 }) are not verified anywhere in the compiler.
RefinedType (vera/types.py:53) preserves the predicate as an opaque AST node ...
enhancement
verification
CVE-2026-53655 - Medium Severity Vulnerability
details summary img src= https://whitesource-resources.whitesourcesoftware.com/vulnerability_details.png width=19
height=20 Vulnerable Library - b tar-4.4.8.tgz ...
Mend: dependency security vulnerability
mend-bolt-for-github[bot]
CompileResultCard time format changed to locale ms, StatusBar plan badge now lowercase, ToolUseCard running state shows
spinner not text
Eval datasets and response/train datasets in NeMo-RL frequently wrap the same underlying HuggingFace datasets,
duplicating loader logic, dataset IDs, input-key conventions, and per-variant branching.
...
Feature
yuki-97
Corrected context
Investigating the front-end gap surfaced two things:
1. Every country record in historical_cpi.json already carries a frequency field (monthly / quarterly). That is the
authoritative ...
jing-ny
CVE-2026-53655 - Medium Severity Vulnerability
details summary img src= https://whitesource-resources.whitesourcesoftware.com/vulnerability_details.png width=19
height=20 Vulnerable Library - b tar-4.4.8.tgz ...
Mend: dependency security vulnerability
Context și Justificare
În prezent, când un utilizator vizualizează pagina de detalii a unui produs, experiența se oprește acolo. Pentru a
crește retenția utilizatorilor pe platformă și pentru a-i ajuta ...
madalinamoraru
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.