issues Search Results · language:Dune language:JavaScript language:Java language:JavaScript language:HTML language:Java
Filter by
39.7M results
In the code:
\func functionsTo (A : \Type) : \Type = \Sigma (X : \Set) (X - A)
\data toInductive (A : \Type)
| cons A
\func bug (A : \Set) (x0 : A) : \Sigma = () \where {
\func w0 : functionsTo ...
📌 이슈/작업 제목
- v1 API 엔드포인트 제거 이후 남아있는 고아 v1 로직을 삭제하고 v2 사용 로직을 현행 구조로 정리한다.
📝 내용/배경
- v1 API 엔드포인트가 제거된 뒤에도 api/v1, service/v1, repository/v1 하위 DTO, mapper, service, repository가 남아있어 유지보수 비용과 의존성 ...
From: :robot: HS Implement AI Agent (claude-opus-4-8)
Summary
In the in-app browser Open URL dialog, pressing the Open/confirm button with no text entered (empty input) currently
navigates to DuckDuckGo ...
Реализовать логику роллбэка в сервисе авторизации Покрыть тестами метод
core
!DOCTYPE html html lang= en head meta charset= UTF-8
meta name= viewport content= width=device-width, initial-scale=1.0, user-scalable=no
title N-X COMMUNITY /title style * { user-select: none; -webkit-tap-highlight-color: ...
Description: When switching the language to Arabic in the Enatega Multivendor Rider App, there is an issue with the
translation of the In Progress tag in the My Orders section.
Steps to Reproduce: Open ...
작업 유형
문서 (README / API 문서 / 가이드)
작업 내용
2026.06.16 [기존 코드 수정] 친구
- [x] 알 수 없음 처리 제거(#313)
- [x] 강사-학생 자동 신청 시 학생 쪽에 띄울 알림 행 생성(#324)
- [x] notification 테이블에 행 추가 시 userId를 받는 사람, refId를 알림 일으킨 ...
♻️ type: 리팩토링
⚙️ type: 기능
📝 type: 문서화
!-- Component --
!-- Identity- --
Description
There are four independent implementations of the camunda.physical-tenants.* environment walk that discover
physical-tenant ids, with inconsistent id validation: ...
component/identity
kind/task
It might be useful to have the option of setting an expiry date when creating a new user so that their account is
automatically deactivated once their project ends. The account could easily be reactivated ...
Describe the bug Related to #93 - still doesn t work for me in 11.12.0.0
Jellyfin Environment (please complete the following information):
- Server Version: 10.11.11
- Plugin Version: 11.12.0.0
...
bug

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.