issues Search Results · language:Dune language:Python language:JavaScript language:Java language:CSS language:Java
Filter by
56.3M results
Test coverage fell below threshold or tests failed. See workflow run in Actions.
Problem
src/tool_implementations.py s manage_mcp add action accepts a user-supplied command plus an unconstrained args array.
The command and each args entry are concatenated into a shell-style invocation, ...
ready for review
Build Scans:
- elasticsearch-intake #41040 / part2
Reproduction Line:
./gradlew :x-pack:plugin:stateless:internalClusterTest --tests org.elasticsearch.xpack.stateless.snapshots.StatelessSnapshotStressTestsIT.testRandomActivitiesStatelessSnapshotReadFromObjectStore ...
:Distributed/Distributed
needs:risk
Team:Distributed
>test-failure
Submission URL
https://github.com/mayorov-m-a/aleph-lean-eval-subm-2026-may-08/tree/1e5b40c99ac8b61edfdfd9b2e5db8e7dc8824c35
Model
Aleph Prover(logicalintelligence.com)
How this solution was produced ...
submission
Have a full recheck, thanks a lot for your efforts
Good day.
Have you got any way to implement SSO feature based on you plugin with Nexus OSS Bare-Metal (without docker)?
Version 3.78.0-14 and higher.
Problem
The web console has separate panels for Permissions, Skills, and MCP servers. But they all use the same underlying rule
format:
{
matcher : mcp__* ,
mode : deny ,
patterns : [ * ], ...
1.11.0
enhancement
Session start: 2026-06-05 12:44 UTC
Lane: Lane 23 -- Phase 2 genksyms wrapper lane
Bounded objective: add and validate a small script-local Zig proof for the genksyms wrapper parser showing that
option-shaped ...
Plan eine IMplementierung in vernünftigen Schritten und nutze die gängige Emoji Semantik
jules
Describe the bug The Enatega Multivendor Rider App is currently experiencing an alignment issue with the New Orders tag
text, impacting the visual presentation of the application.
To Reproduce Steps to ...

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.